Mathematical reasoning with higher-order anti-unification

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

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 proceeding › Conference contribution

Original language	English
Title of host publication	Cognition in Flux
Subtitle of host publication	Proceedings of the 32nd Annual Conference of the Cognitive Science Society
Editors	Stellan Ohlsson, Richard Catrambone
Place of Publication	Austin
Publisher	Cognitive Science Society
Pages	1992-1997
Number of pages	6
ISBN (Print)	9780976831860
Publication status	Published - 2010
Event	32nd Annual Meeting of the Cognitive Science Society - Oregon Convention Center, Portland, United States Duration: 11 Aug 2010 → 14 Aug 2010 http://cognitivesciencesociety.org/conference2010/index.html

Conference

Conference	32nd Annual Meeting of the Cognitive Science Society
Abbreviated title	CogSci 2010
Country/Territory	United States
City	Portland
Period	11/08/10 → 14/08/10
Internet address	http://cognitivesciencesociety.org/conference2010/index.html

Access to Document

Cite this

Guhe, M., Pease, A., Smaill, A., Schmidt, M., Gust, H., Kuhnberger, K.-U., & Krumnack, U. (2010). Mathematical reasoning with higher-order anti-unification. In S. Ohlsson, & R. Catrambone (Eds.), Cognition in Flux: Proceedings of the 32nd Annual Conference of the Cognitive Science Society (pp. 1992-1997). Cognitive Science Society. http://cognitivesciencesociety.org/conference2010/schedule.html

@inproceedings{52f0b53742f542c787171a427f83d34b,

title = "Mathematical reasoning with higher-order anti-unification",

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

year = "2010",

language = "English",

isbn = "9780976831860",

pages = "1992--1997",

editor = "Stellan Ohlsson and Richard Catrambone",

booktitle = "Cognition in Flux",

publisher = "Cognitive Science Society",

note = "32nd Annual Meeting of the Cognitive Science Society, CogSci 2010 ; Conference date: 11-08-2010 Through 14-08-2010",

url = "http://cognitivesciencesociety.org/conference2010/index.html",

}

Guhe, M, Pease, A, Smaill, A, Schmidt, M, Gust, H, Kuhnberger, K-U & Krumnack, U 2010, Mathematical reasoning with higher-order anti-unification. in S Ohlsson & R Catrambone (eds), Cognition in Flux: Proceedings of the 32nd Annual Conference of the Cognitive Science Society. Cognitive Science Society, Austin, pp. 1992-1997, 32nd Annual Meeting of the Cognitive Science Society, Portland, United States, 11/08/10. <http://cognitivesciencesociety.org/conference2010/schedule.html>

Mathematical reasoning with higher-order anti-unification. / Guhe, Markus; Pease, Alison; Smaill, Alan et al.
Cognition in Flux: Proceedings of the 32nd Annual Conference of the Cognitive Science Society. ed. / Stellan Ohlsson; Richard Catrambone. Austin: Cognitive Science Society, 2010. p. 1992-1997.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Mathematical reasoning with higher-order anti-unification

AU - Guhe, Markus

AU - Pease, Alison

AU - Smaill, Alan

AU - Schmidt, Martin

AU - Gust, Helmar

AU - Kuhnberger, Kai-Uwe

AU - Krumnack, Ulf

PY - 2010

Y1 - 2010

M3 - Conference contribution

SN - 9780976831860

SP - 1992

EP - 1997

BT - Cognition in Flux

A2 - Ohlsson, Stellan

A2 - Catrambone, Richard

PB - Cognitive Science Society

CY - Austin

T2 - 32nd Annual Meeting of the Cognitive Science Society

Y2 - 11 August 2010 through 14 August 2010

ER -