KIT | KIT-Bibliothek | Impressum | Datenschutz

Restart tableaux with selection function

Pape, Christian; Haehnle, Reiner


Volltext §
DOI: 10.5445/IR/74197
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1997
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA741979
KITopen-ID: 74197
Erscheinungsvermerk In: Computational logic and proof theory. KGC '97. Ed.: G. Gottlob. Berlin 1997. S. 219-232. (Lecture notes in computer science. 1289.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page