Alexander Baumgartner, Teimuraz Kutsia,
"A library of anti-unification algorithms"
, in Eduardo Ferme and Joao Leite: Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, Serie Lecture Notes in Computer Science (LNCS), Springer, Seite(n) 543-557, 2014, ISBN: 978-3-319-11557-3
Original Titel:
A library of anti-unification algorithms
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014
Forschungs-