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...