Mathematical reasoning with higher-order anti-unifcation

DC FieldValueLanguage
dc.contributor.authorGuhe, Markus
dc.contributor.authorPease, Alison
dc.contributor.authorSmaill, Alan
dc.contributor.authorSchmidt, Martin
dc.contributor.authorGust, Helmar
dc.contributor.authorKühnberger, Kai-Uwe
dc.contributor.authorKrumnack, Ulf
dc.date.accessioned2022-04-19T14:05:38Z-
dc.date.available2022-04-19T14:05:38Z-
dc.date.issued2010
dc.identifier.urihttps://osnascholar.ub.uni-osnabrueck.de/handle/unios/53621-
dc.publisherCognitive Science Society
dc.relation.ispartofProceedings of the Annual Meeting of the Cognitive Science Society
dc.subjectComputer science
dc.subjectOrder (exchange)
dc.subjectDeductive reasoning
dc.subjectFirst order
dc.subjectMathematics
dc.subjectReasoning system
dc.titleMathematical reasoning with higher-order anti-unifcation
dc.typetext
dc.identifier.urlhttps://escholarship.org/content/qt4w0023k9/qt4w0023k9.pdf?t=op2kni
dc.description.volume32
dc.description.issue32
dc.description.startpage1992
dc.description.endpage1997
dc.identifier.externalhttps://openalex.org/W103086357
dcterms.oaStatustrue
local.import.sourcefileopenalex_uos_20220409.ris
crisitem.author.deptInstitut für Kognitionswissenschaft-
crisitem.author.deptInstitut für Kognitionswissenschaft-
crisitem.author.deptidinstitute28-
crisitem.author.deptidinstitute28-
crisitem.author.orcid0000-0003-1626-0598-
crisitem.author.parentorgFB 08 - Humanwissenschaften-
crisitem.author.parentorgFB 08 - Humanwissenschaften-
crisitem.author.grandparentorgUniversität Osnabrück-
crisitem.author.grandparentorgUniversität Osnabrück-
crisitem.author.netidKuKa032-
crisitem.author.netidKrUl568-
Show simple item record

Page view(s)

2
Last Week
0
Last month
1
checked on Jun 1, 2024

Google ScholarTM

Check