TU Darmstadt / ULB / TUbiblio

Tableaux for Many-Valued Logics

Hähnle, Reiner
D'Agostino, Marcello and Gabbay, Dov and Hähnle, Reiner and Posegga, Joachim (eds.) (1999):
Tableaux for Many-Valued Logics.
In: Handbook of Tableau Methods, Kluwer, Dordrecht, pp. 529--580, [Book Section]

Item Type: Book Section
Erschienen: 1999
Editors: D'Agostino, Marcello and Gabbay, Dov and Hähnle, Reiner and Posegga, Joachim
Creators: Hähnle, Reiner
Title: Tableaux for Many-Valued Logics
Language: German
Title of Book: Handbook of Tableau Methods
Publisher: Kluwer, Dordrecht
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: Haehnle95b
Export:

Optionen (nur für Redakteure)

View Item View Item