Diplomarbeit DIP-2010-02
Bibliograph.
Daten
Debatin, Michael
:
SAT solving modulo nichtlinearer Theorien.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 2 (2010).
78 Seiten, deutsch.
Kurzfassung
kein Abstract.
Abteilung(en)
Universität Stuttgart, Institut für Formale Methoden der Informatik, Formale Konzepte
Betreuer
Nowotka, PD Dr. Dirk
Eingabedatum
12. August 2019
Neuer Report
 
Neuer Artikel
 
Neues Sammelwerk
 
Institut
 
Informatik