infostudium.de
Forum zum Informatikstudium an der RWTH Aachen
Zum Inhalt
Foren-Übersicht
‹
Master / Bachelor Wahlpflicht
‹
Theoretische Informatik / Theoretical Foundations
Dies ist das Archiv des infostudium.de Forums, das von 2005 bis 2018 betrieben wurde. Neue Beiträge können nicht mehr erstellt werden.
[Sat]
Satisfiability Checking alte Übungen &/oder Klausuren
Vorlesungen, Seminare und Praktika aus dem Bereich Theoretische Informatik (
Abkürzungen
)
Lectures, seminars and labs from the area Theoretical Foundations (
Abbreviations
)
1 Beitrag • Seite
1
von
1
Satisfiability Checking alte Übungen &/oder Klausuren
von
seb
» 21.01.13 02:23
Hi Leute,
hat jemand von euch SAT gehört die letzten Jahre und kann noch mit alten Übungen dienen? Wäre echt super falls die noch jemand hat!
Viele Grüße,
Seb
seb
Beiträge:
52
Registriert:
16.10.09 17:15
Studiengang:
Informatik (B.Sc.)
Studiert seit:
WS 09/10
Anwendungsfach:
BWL
Nach oben
1 Beitrag • Seite
1
von
1
Zurück zu Theoretische Informatik / Theoretical Foundations