Pocket KrHyper

Screenshot der Anwendung:
Pocket KrHyper
Einzelheiten der Anwendung:
Version: 0.9.3
Upload-Datum: 20 Jun 11
Lizenz: Frei
Popularität: 36
Größe: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

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

Ähnliche Anwendungen

MobileMath
MobileMath

20 Jun 11

Quad2Go
Quad2Go

28 Apr 11

MathPro
MathPro

23 May 11

Kommentare zu Pocket KrHyper

Kommentare nicht gefunden
Kommentar hinzufügen
Schalten Sie auf die Bilder!