Zurück zur Übersicht
JTP
Link http://www.stanford.edu/%7Egkfrank/jtp/
Screenshots
Herkunft und Zielsetzung
Gleb Frank,Knowledge Systems Laboratory,Stanford University
Aktualität
keine Angaben
Beschaffung und Installation
Jar File.
Dokumentation und Support
Eine HTML-Seite - welche gleichzeitig die Homepage von JTP ist...
Leistungsumfang
Logischer Theorem Beweiser.
Prinzipiell nicht sprachgebunden, de facto jedoch KIF (Knowledge Interchange Format)
Handhabung
Kommandozeilenbasiert
Gesamteindruck
Äußert schlecht.
Keine Datumsangaben, kaum Doku, kein Verweis von den Übergeordneten Seiten, ein Mann Projekt...
lastchange SP 2002-05-02