KIT | KIT-Bibliothek | Impressum | Datenschutz

Proof search without backtracking using instance streams. Position paper

Giese, Martin



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