TY - GEN
AU - Avenhaus, Jürgen
AU - Denzinger, Jörg
TI - Informal Proceedings of the Annual Meeting of "GI-Fachgruppe Deduktionssysteme"
KW - Completion
KW - Automatic Theorem Provi
KW - Functional Programs
KW - Inductive Theorem Proving
KW - Distribution and Combination of Theorem Provers
KW - Termination
PY - 1993
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