Universität des Saarlandes
FR Informatik
Programmiersysteme
Vorlesungen
Comp. Logik SS 03


Hauptseite
Termine
Literatur
Übungen
Prüfungen
Mailingliste
Software
Material

Einführung in die Computationale Logik: Software

SML

Für die praktischen Übungen zu der Vorlesung werden wir Standard ML verwenden. Das verwendete Programmiersystem ist Moscow ML. Sie finden jede Menge Information dazu auf den Seiten der Vorlesung Programmierung.

Letzte Änderung: Do 01 Jan 1970 00:00:00 UTC