KIT | KIT-Bibliothek | Impressum | Datenschutz

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

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



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