Pocket KrHyper

Skärmdump av ansökan:
Pocket KrHyper
Information om ansökan:
Version: 0.9.3
Ladda upp dagen: 20 Jun 11
Licens: Gratis
Popularitet: 36
Storlek: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

Pocket KrHyper är en sats bevisar bibliotek för J2ME mobiltelefoner. Den stöder resonemang i påstående, första ordning och beskrivning logik och riktar sig till mobila kunskapshantering eller semantiska webbapplikationer.

& Middot; Den första reasoner för mobiltelefoner

& Middot; Använder lite resurser

& Middot; Gränssnitt för clausal första ordningens logik och beskrivning logik

Liknande program

MobileMaths
MobileMaths

12 May 11

Aritm by MOB
Aritm by MOB

27 May 11

Solve2Go
Solve2Go

28 Apr 11

Kommentarer till Pocket KrHyper

Kommentarer hittades inte
Kommentar
Slå på bilder!
Sök efter enhet
Nokia Asha 308 / 309

Nokia Asha 308 / 309