author = { Avenhaus, Jürgen AND Denzinger, Jörg },

title = { Informal Proceedings of the Annual Meeting of "GI-Fachgruppe Deduktionssysteme" },

keywords = { Completion , Automatic Theorem Provi , Functional Programs , Inductive Theorem Proving , Distribution and Combination of Theorem Provers , Termination },

year = {1993},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }