Restricted higher-order anti-unification for analogy making

Autor(en):	Krumnack, Ulf Schwering, Angela Gust, Helmar Kühnberger, Kai-Uwe
Stichwörter:	Computer science; Order (exchange); Unification; Analogy
Erscheinungsdatum:	2007
Herausgeber:	Springer, Berlin, Heidelberg
Journal:	australasian joint conference on artificial intelligence
Startseite:	273
Seitenende:	282
DOI:	https://doi.org/10.1007/978-3-540-76928-6_29

Zur Langanzeige

2

Letzte Woche
1

Letzter Monat
1

geprüft am 14.05.2024

Prüfen