Discovery - University of Dundee - Online Publications

Library & Learning Centre

Mathematical reasoning with higher-order anti-unification

Mathematical reasoning with higher-order anti-unification

Research output: Chapter in Book/Report/Conference proceedingConference contribution

View graph of relations

Authors

  • Markus Guhe
  • Alison Pease
  • Alan Smaill
  • Martin Schmidt
  • Helmar Gust
  • Kai-Uwe Kuhnberger
  • Ulf Krumnack

Research units

Info

Original languageEnglish
Title of host publicationCognition in Flux
Subtitle of host publicationProceedings of the 32nd Annual Conference of the Cognitive Science Society
EditorsStellan Ohlsson, Richard Catrambone
Place of PublicationAustin
PublisherCognitive Science Society
Pages1992-1997
Number of pages6
ISBN (Print)9780976831860
StatePublished - 2010
Event32nd Annual Meeting of the Cognitive Science Society - Portland, United States

Conference

Conference32nd Annual Meeting of the Cognitive Science Society
Abbreviated titleCogSci 2010
CountryUnited States
CityPortland
Period11/08/1014/08/10
Internet address

Documents

Library & Learning Centre

Contact | Accessibility | Policy