Veröffentlichungen
Juli 2023
So Mo Di Mi Do Fr Sa
     1
2345678
9101112131415
16171819202122
23242526272829
3031 
DBApp-Suche
Erweiterte Suche

Application datasets: 21102 Version datasets: 157530
DBApp v1.06
Copyright © demon
Werbung
Programm-Informationen
Applikation:Common Lisp Reasoner
Version(en):
  Hauptzweig3.6
Lizenz:GNU General Public License Version 2 oder neuer
Homepage:http://reasoner.sourceforge.net/
Kategorie:Konsole
Beschreibung:
Common Lisp Reasoner ist eine Erweiterung von CLOS (Common Lisp Object System), die eine flexible Regelsprache hinzufügt, die für verschiedene logische Schlussfolgerungen verwendet werden kann. Sie enthält auch ATMS (Assumption-based Truth-Maintenance System).
 
Neue Version melden
Version
Zweig
Sollte der von Ihnen angedachte Zweig nicht in unserer Liste aufgelistet sein, so tragen Sie bitte unter Zweig (Andere) eine neue Entwicklungslinie (Branch) ein.
Zweig (Andere)
Änderungen