Ein Interpreter für logische Klauseln
Ein Interpreter erweitert um die Unterstützung von logischen Klauseln.
Mai
19
Ein Interpreter für funktionale Spezifikationen
Ein Interpreter für die Definition und Auswertung von Funktionen.
Mai
02
Populäre Tags