TU Darmstadt / ULB / TUbiblio

Proof Theory of Many-Valued Logic and Linear Optimization

Hähnle, Reiner
Reusch, Bernd and Temme, Karl-Heinz (eds.) (2001):
Proof Theory of Many-Valued Logic and Linear Optimization.
In: Computational Intelligence in Theory and Practice, Physica-Verlag, Heidelberg, pp. 15--33, [Book Section]

Item Type: Book Section
Erschienen: 2001
Editors: Reusch, Bernd and Temme, Karl-Heinz
Creators: Hähnle, Reiner
Title: Proof Theory of Many-Valued Logic and Linear Optimization
Language: German
Title of Book: Computational Intelligence in Theory and Practice
Series Name: Advances in Soft Computing
Publisher: Physica-Verlag, Heidelberg
ISBN: 3-7908-1357-5
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: Haehnle01b
Export:

Optionen (nur für Redakteure)

View Item View Item