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
Publikationsjahr 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