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
Neuer Report
 
Neuer Artikel
 
Neues Sammelwerk
 
Informatik