TU Darmstadt / ULB / TUbiblio

Tableaux-Based Theorem Proving in Multiple-Valued Logics

Hähnle, Reiner (1992):
Tableaux-Based Theorem Proving in Multiple-Valued Logics.
University of Karlsruhe, Department of Computer Science, [Ph.D. Thesis]

Item Type: Ph.D. Thesis
Erschienen: 1992
Creators: Hähnle, Reiner
Title: Tableaux-Based Theorem Proving in Multiple-Valued Logics
Language: German
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: Haehnle92a
Export:

Optionen (nur für Redakteure)

View Item View Item