TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 1.

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]

This list was generated on Sat Nov 16 02:02:46 2019 CET.