Pocket KrHyper 0.9.3

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...
Herunterladen direkt von Ihrem Gerät durch Scannen QR-Code unten
Kein Barcode-Leser? Herunterladen hier
QR-Code von TEC-IT Barcode Software erzeugt

Empfohlene Anwendungen Für Sony Ericsson K750i