TY - GEN
AU - Raulefs, Peter
AU - Siekmann, Jörg
TI - Unification of idempotent functions
PB - Saarländische Universitäts- und Landesbibliothek
KW - automatic theorem proving
KW - matching algorithms
KW - T-unification
KW - idempotence
PY - 1978
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation