Theorem proving with analytic tableaux and related methods. Workshop, Lautenbach 1992

Fronhoefer, Bertram [Hrsg.]; Haehnle, Reiner [Hrsg.]; Kaeufl, Thomas [Hrsg.]

Seitenaufrufe: 23
seit 08.09.2018

Zugehörige Institution(en) am KIT	Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp	Proceedingsband
Publikationsjahr	1992
Sprache	Englisch
Identifikator	KITopen-ID: 14292
Erscheinungsvermerk	Karlsruhe 1992. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. 1992,8.)