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: 2.

Weinert, Klaus and Beckmann, Klaus and Encarnação, José Luis and Herzog, Otthein and Höcker, Hartwig and Kuhn, Axel and Mühlhäuser, Max and Schober, Otmar and Spatz, Dieter and Thoma, Klaus (2014):
Stadt der Zukunft – Strategieelemente einer nachhaltigen Stadtentwicklung.
In: acatech Materialien, Deutsche Akademie der Technikwissenschaften, [Book]

Autexier, Serge and Mantel, Heiko and Stephan, Werner Herzog, Otthein and Günter, Andreas (eds.) (1998):
Simultaneous Quantifier Elimination.
In: LNAI 1504, In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, Springer, pp. 141-152, [Conference or Workshop Item]

This list was generated on Tue Aug 4 02:29:06 2020 CEST.