TU Darmstadt / ULB / TUbiblio

Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics

Hähnle, Reiner
Börger, Egon and Kleine Büning, Hans and Richter, Michael and Schönfeld, Wolfgang (eds.) (1991):
Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics.
In: Selected Papers from Computer Science Logic, {CSL}'90, Heidelberg, Germany, Springer-Verlag, pp. 248--260, [Book Section]

Item Type: Book Section
Erschienen: 1991
Editors: Börger, Egon and Kleine Büning, Hans and Richter, Michael and Schönfeld, Wolfgang
Creators: Hähnle, Reiner
Title: Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics
Language: German
Title of Book: Selected Papers from Computer Science Logic, {CSL}'90, Heidelberg, Germany
Series Name: LNCS
Volume: 533
Publisher: Springer-Verlag
Uncontrolled Keywords: semantic tableaux, automated theorem proving, multiple-valued logic
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: Haehnle90
Export:

Optionen (nur für Redakteure)

View Item View Item