RISC Courses
JKU
Lehrveranstaltung
Logik als Arbeitssprache (326.014)
Sommersemester 2007
Wolfgang Windsteiger
|
KUSSS RISC Courses JKU |
Lehrveranstaltung
Logik als Arbeitssprache (326.014) Sommersemester 2007 Wolfgang Windsteiger |
|
Daten & Fakten
|
TheoremaZum Ausführen der Berechnungen im Skriptum muss auf Ihrem Computer "Theorema" installiert sein. Gehen Sie zur Theorema Homepage, wo die aktuelle Version des Systems zum Download bereit steht. |