Theorem proving with analytic tableaux and related methods. Proceedings. 4th International Workshop, TABLEAUX '95, St. Goar 1995

Baumgartner, Peter [Hrsg.]; Haehnle, Reiner [Hrsg.]; Posegga, Joachim [Hrsg.]

Seitenaufrufe: 26
seit 20.11.2018

Zugehörige Institution(en) am KIT	Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp	Proceedingsband
Publikationsjahr	1995
Sprache	Englisch
Identifikator	KITopen-ID: 326595
Erscheinungsvermerk	Berlin 1995. (Lecture notes in artificial intelligence. 918.)