Vorlesung Modellierung WS 2001/2002 - Folie Nr. 321
Ziele
:
Übersicht
in der Vorlesung
:
Vergleich mit Aussagenlogik