KIT | KIT-Bibliothek | Impressum | Datenschutz

Implementing semantic tableaux

Posegga, Joachim; Schmitt, Peter H.



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1999
Sprache Deutsch
Identifikator KITopen ID: 308999
Erscheinungsvermerk In: Handbook of tableau methods. Ed.: M. D'Agostino. Dordrecht 1999. S. 581-629.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page