Restricted higher-order anti-unification for analogy making

DC ElementWertSprache
dc.contributor.authorKrumnack, Ulf
dc.contributor.authorSchwering, Angela
dc.contributor.authorGust, Helmar
dc.contributor.authorKühnberger, Kai-Uwe
dc.date.accessioned2022-04-19T14:06:19Z-
dc.date.available2022-04-19T14:06:19Z-
dc.date.issued2007
dc.identifier.urihttps://osnascholar.ub.uni-osnabrueck.de/handle/unios/54104-
dc.publisherSpringer, Berlin, Heidelberg
dc.relation.ispartofaustralasian joint conference on artificial intelligence
dc.subjectComputer science
dc.subjectOrder (exchange)
dc.subjectUnification
dc.subjectAnalogy
dc.titleRestricted higher-order anti-unification for analogy making
dc.typebook part
dc.identifier.doihttps://doi.org/10.1007/978-3-540-76928-6_29
dc.description.startpage273
dc.description.endpage282
dc.identifier.externalhttps://openalex.org/W1575597610
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.netidKrUl568-
crisitem.author.netidKuKa032-
Zur Kurzanzeige

Seitenaufrufe

2
Letzte Woche
0
Letzter Monat
1
geprüft am 29.05.2024

Google ScholarTM

Prüfen

Altmetric