Részletek az Application:
Változat: 0.9.3
Feltöltés dátuma: 20 Jun 11
Fejlesztő: Thomas Kleemann, Alex Sinner
Engedély: Ingyenes
Népszerűség: 36
Méret: 75 Kb
Pocket KrHyper egy tétel bizonyítása könyvtár J2ME mobiltelefonok. Támogatja indokolás propozicionális, elsőrendű, és leírás a logika és a célja, hogy a mobil tudásmenedzsment vagy szemantikus web alkalmazások.
& Middot; Az első következtető mobiltelefonokhoz
& Middot; Felhasználás kevés forrásokat
& Middot; Interfészek clausal elsőrendű logika és leírás logika
Hozzászólás nem található