Nächste Seite:
Motivation
Aufwärts:
Constraint-Programmierung Vorlesung Sommersemester 2009
Vorherige Seite:
Ackermann-Transformation
Kombination von Theorien
Unterabschnitte
Motivation
Definition
Konvexe Theorien
Nelson-Oppen (I)
Nelson-Oppen für konvexe Theorien
Nelson-Oppen für nicht konvexe Theorien
2009-06-22