Pocket KrHyper
Ist ein Theorem beweisen Bibliothek für J2ME Handys. Es unterstützt die Argumentation in propositionaler, erster Ordnung und Beschreibung Logik und ist auf mobile Wissensmanagement oder semantische Web-Anwendungen gerichtet. & Middot; Der erste Grund für Mobiltelefone & Middot; Verwendet wenig Ressourcen & Middot; Schnittstellen für Clausal Logik der ersten Ordnung und...
Mehr lesen