- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Classification
-
Informatik
- Keyword
-
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Ulm
- (who)
-
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- (when)
-
2013
- Creator
- URN
-
urn:nbn:de:bsz:289-vts-85209
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:49 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Luther, Marko
- Strecker, Martin
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Time of origin
- 2013
Other Objects (12)
A guided tour through Ayckbourn country
A guided tour through Ayckbourn country
A guided tour through quadratic hedging approaches
A Guided Tour through Quadratic Hedging Approaches
Walking with women through Chicago history : 4 [four] self-guided tours
A Guided Tour of Machinery
Perspectives on projective geometry : a guided tour through real and complex geometry
Energy systems engineering - a guided tour
The Goetheanum : a guided tour through of the building, its surroundings and its history
A guided tour of the OSKAR architecture
Physics of black holes : a guided tour
Walking tour through Freudenstadt
A guided tour through Ayckbourn country
A guided tour through Ayckbourn country
A guided tour through quadratic hedging approaches
A Guided Tour through Quadratic Hedging Approaches
Walking with women through Chicago history : 4 [four] self-guided tours
A Guided Tour of Machinery
Perspectives on projective geometry : a guided tour through real and complex geometry
Energy systems engineering - a guided tour
The Goetheanum : a guided tour through of the building, its surroundings and its history
A guided tour of the OSKAR architecture
Physics of black holes : a guided tour
Walking tour through Freudenstadt
A guided tour through Ayckbourn country
A guided tour through Ayckbourn country
A guided tour through quadratic hedging approaches
A Guided Tour through Quadratic Hedging Approaches
Walking with women through Chicago history : 4 [four] self-guided tours
A Guided Tour of Machinery
Perspectives on projective geometry : a guided tour through real and complex geometry
Energy systems engineering - a guided tour
The Goetheanum : a guided tour through of the building, its surroundings and its history
A guided tour of the OSKAR architecture
Physics of black holes : a guided tour