Anzeige
Tclp.
TCLP ist ein Typ-Checker für Prolog-Dialekte. ...
checker Typ Type Checker. Prolog-Dialekte. CONSTRAINT Logic-Programmierung.
Mathematik :: Logic :: Prädikat
math :: logic :: Prädikat ist ein Perl-Modul, um eine Prädikat-Assertion-Datenbank zu verwalten und abzufragen. ...
Abfrage Perl-Modul verwalten Prädikat-Behauptung verwalten Abfrage-Prädikat-Assertion.
Koalog Constraint Solver.
KOALOG CONSTRAINT Solver ist ein leistungsstarker Constraint-Solver, der in Java geschrieben ist. ...
Kostenloses Logic-Formular.
Kostenlose Logikformular ist ein System zum Erzeugen von Logikformen englischer Sätze. ...
Programmierung des regulären Ausdrucks
Programmprojekt des regulären Ausdrucks ist ein reguläres Ausdrucksgrafik-Programm. ...
regulären Ausdruck Grafik regulär Ausdruck Programmierungsprogramm
Fuzzy Logic Bäume
Fuzzy-Logikbäume sind eine Machine-Lernmethode, die die Prinzipien der Fuzzy-Logik auf standardmäßige logische Entscheidungsbäume anwendet. ...
Proaktive Programmierung.
Proaktive Programmierung ist eine Gitterjava-Bibliothek für paralleles, verteiltes und gleichzeitiges Rechenaufwand. ...
Logic-Dateisystem.
Das Dateisystem von diskriminierenden Hackern. ...