Aussagenlogik Logik erster Stufe Datalog Logik-Programmierung
Roadmap Über config

Logo

Hier eine kleine Übersicht der Funktionen, die mir noch vorschweben, in willkürlicher Reihenfolge...

Anregungen sind willkommen (email an):

andre dot frochaux at informatik dot hu-berlin dot de

In allen Teilen