Masterarbeit MSTR-3120
Bibliograph.
Daten
Traub, Johannes
:
Program Analysis and Probabilistic SAT-solving.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Masterarbeit Nr. 3120 (2010).
65 Seiten, englisch.
CR-Klassif.
F.3.2 (Semantics of Programming Languages)
G.3 (Probability and Statistics)
Kurzfassung
abstractstyp ist falsch
Volltext und
andere Links
PDF (453005 Bytes)
Abteilung(en)
Universität Stuttgart, Institut für Formale Methoden der Informatik, Theoretische Informatik
Eingabedatum
24. März 2014
Publ. Institut
Publ. Informatik