KIT | KIT-Bibliothek | Impressum | Datenschutz

Handbook of tableau methods

D'Agostino, Marcello; Gabbay, Dov; Haehnle, Reiner; Posegga, Joachim



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Jahr 1999
Sprache Englisch
Identifikator KITopen ID: 307899
Erscheinungsvermerk Dordrecht 1999.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page