Pocket KrHyper

Screenshot Alkalmazási:
Pocket KrHyper
Részletek az Application:
Változat: 0.9.3
Feltöltés dátuma: 20 Jun 11
Engedély: Ingyenes
Népszerűség: 36
Méret: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

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

Hasonló alkalmazások

Mobile Maths v1.7
Mobile Maths v1.7

24 Jan 13

Dec2Bin
Dec2Bin

10 Mar 12

Hozzászólások a Pocket KrHyper

Hozzászólás nem található
Megjegyzés hozzáadása
Kapcsolja be a képeket!