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
 
Informatik