TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Hähnle, Reiner
Hrsg.: Reusch, Bernd ; Temme, Karl-Heinz (2001)
Proof Theory of Many-Valued Logic and Linear Optimization.
In: Computational Intelligence in Theory and Practice
Buchkapitel, Bibliographie