KIT | KIT-Bibliothek | Impressum

Depth-first proof search without backtracking for free-variable clausal tableaux

Beckert, Bernhard



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 2000
Sprache Englisch
Identifikator KITopen ID: 32092000
Erscheinungsvermerk In: Proceedings of the 3rd International Workshop on First-Order Theorem Proving, St. Andrews, G.B. 2000. Ed.: P. Baumgartner. S. 44-55.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page