Implementing semantic tableaux

Posegga, Joachim; Schmitt, Peter H.

Seitenaufrufe: 15
seit 23.11.2018

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