Einzelheiten der Anwendung:
Version: 0.9.3
Upload-Datum: 20 Jun 11
Entwickler: Thomas Kleemann, Alex Sinner
Lizenz: Frei
Popularität: 36
Größe: 75 Kb
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 Beschreibungslogik
Kommentare nicht gefunden