Mathematical reasoning with higher-order anti-unifcation
Autor(en): | Guhe, Markus Pease, Alison Smaill, Alan Schmidt, Martin Gust, Helmar Kühnberger, Kai-Uwe Krumnack, Ulf |
Stichwörter: | Computer science; Order (exchange); Deductive reasoning; First order; Mathematics; Reasoning system | Erscheinungsdatum: | 2010 | Herausgeber: | Cognitive Science Society | Journal: | Proceedings of the Annual Meeting of the Cognitive Science Society | Volumen: | 32 | Ausgabe: | 32 | Startseite: | 1992 | Seitenende: | 1997 | Externe URL: | https://escholarship.org/content/qt4w0023k9/qt4w0023k9.pdf?t=op2kni |
Show full item record