Proceedings of the 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France 1993

Basin, David [Hrsg.]; Fronhoefer, Bertram [Hrsg.]; Haehnle, Reiner [Hrsg.]; Posegga, Joachim [Hrsg.]; Schwind, Camilla [Hrsg.]

Seitenaufrufe: 19
seit 25.04.2018

Zugehörige Institution(en) am KIT	Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp	Proceedingsband
Publikationsjahr	1993
Sprache	Englisch
Identifikator	KITopen-ID: 128793
Erscheinungsvermerk	Saarbruecken 1993. (Technical Report. Max-Planck-Institut fuer Informatik. 213.)