KIT | KIT-Bibliothek | Impressum

Incremental theory reasoning methods for semantic tableaux

Beckert, Bernhard; Pape, Christian



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 229796
Erscheinungsvermerk In: Theorem proving with analytic tableaux and related methods. TABLEAUX '96. Ed.: P. Miglioli. Berlin 1996. S. 93-101. (Lecture notes in computer science. 1071.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page