Mathematical reasoning with higher-order anti-unification

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

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

    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
    Number of pages6
    ISBN (Print)9780976831860
    Publication statusPublished - 2010
    Event32nd Annual Meeting of the Cognitive Science Society - Oregon Convention Center, Portland, United States
    Duration: 11 Aug 201014 Aug 2010


    Conference32nd Annual Meeting of the Cognitive Science Society
    Abbreviated titleCogSci 2010
    Country/TerritoryUnited States
    Internet address

    Cite this