KIT | KIT-Bibliothek | Impressum

Cooperation of decision procedures in a tableau-based theorem prover

Kaeufl, Thomas; Zabel, N.



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Jahr 1990
Sprache Englisch
Identifikator KITopen ID: 301390
Erscheinungsvermerk Rev. d'intelligence artificielle 4 (1990) H. 3 S. 99-125.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page