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
BetreuerNowotka, PD Dr. Dirk
Eingabedatum12. August 2019
   Publ. Institut   Publ. Informatik