TU Darmstadt / ULB / TUbiblio

Automated Deduction in Multiple-Valued Logics

Hähnle, Reiner (1994):
Automated Deduction in Multiple-Valued Logics.
Oxford University Press, In: International Series of Monographs on Computer Science, ISBN 0-19-853989-4,
[Book]

Item Type: Book
Erschienen: 1994
Creators: Hähnle, Reiner
Title: Automated Deduction in Multiple-Valued Logics
Language: German
Series Name: International Series of Monographs on Computer Science
Volume: 10
Publisher: Oxford University Press
ISBN: 0-19-853989-4
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Location: 94DA22, 95A4987
Date Deposited: 31 Dec 2016 10:40
Identification Number: Haehnle92f
Export:

Optionen (nur für Redakteure)

View Item View Item