Home | english  | Impressum | Sitemap | KIT

Übungen zur Vorlesung SAT Solving in der Praxis

Übungen zur Vorlesung SAT Solving in der Praxis
Typ: Übung
Ort:

Seminarraum 301 (Geb. 50.34)

Zeit:

Do 14:00-15:30

Beginn: 28.04.2016
Dozent:

T. Balyo, C. Sinz

SWS: 1
LVNr.: 2400085