DC Field | Value | Language |
dc.contributor.author | Guhe, Markus | |
dc.contributor.author | Pease, Alison | |
dc.contributor.author | Smaill, Alan | |
dc.contributor.author | Schmidt, Martin | |
dc.contributor.author | Gust, Helmar | |
dc.contributor.author | Kühnberger, Kai-Uwe | |
dc.contributor.author | Krumnack, Ulf | |
dc.date.accessioned | 2022-04-19T14:05:38Z | - |
dc.date.available | 2022-04-19T14:05:38Z | - |
dc.date.issued | 2010 | |
dc.identifier.uri | https://osnascholar.ub.uni-osnabrueck.de/handle/unios/53621 | - |
dc.publisher | Cognitive Science Society | |
dc.relation.ispartof | Proceedings of the Annual Meeting of the Cognitive Science Society | |
dc.subject | Computer science | |
dc.subject | Order (exchange) | |
dc.subject | Deductive reasoning | |
dc.subject | First order | |
dc.subject | Mathematics | |
dc.subject | Reasoning system | |
dc.title | Mathematical reasoning with higher-order anti-unifcation | |
dc.type | text | |
dc.identifier.url | https://escholarship.org/content/qt4w0023k9/qt4w0023k9.pdf?t=op2kni | |
dc.description.volume | 32 | |
dc.description.issue | 32 | |
dc.description.startpage | 1992 | |
dc.description.endpage | 1997 | |
dc.identifier.external | https://openalex.org/W103086357 | |
dcterms.oaStatus | true | |
local.import.sourcefile | openalex_uos_20220409.ris | |
crisitem.author.dept | Institut für Kognitionswissenschaft | - |
crisitem.author.dept | Institut für Kognitionswissenschaft | - |
crisitem.author.deptid | institute28 | - |
crisitem.author.deptid | institute28 | - |
crisitem.author.orcid | 0000-0003-1626-0598 | - |
crisitem.author.parentorg | FB 08 - Humanwissenschaften | - |
crisitem.author.parentorg | FB 08 - Humanwissenschaften | - |
crisitem.author.grandparentorg | Universität Osnabrück | - |
crisitem.author.grandparentorg | Universität Osnabrück | - |
crisitem.author.netid | KuKa032 | - |
crisitem.author.netid | KrUl568 | - |