KIT | KIT-Bibliothek | Impressum | Datenschutz

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

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



Zugehörige Institution(en) am KIT 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.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page