KIT | KIT-Bibliothek | Impressum

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

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



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Proceedingsband
Jahr 1992
Sprache Englisch
Identifikator KITopen ID: 14292
Erscheinungsvermerk Karlsruhe 1992. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. 1992,8.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page