Pocket KrHyper

Screenshot z aplikace:
Pocket KrHyper
Podrobnosti o aplikaci:
Verze: 0.9.3
Datum uploadu: 20 Jun 11
Licence: Volný
Popularita: 36
Velikost: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

Pocket KrHyper je dokazování knihovna pro mobilní telefony J2ME. To podporuje úvahy ve výrokové, prvního řádu a popis logiky a je zaměřena na řízení mobilní znalostí nebo sémantických webových aplikací.

& Middot; První Reasoner pro mobilní telefony

& Middot; Používá málo prostředků

& Middot; Rozhraní pro klausulární první objednávat logiku a popis logiky

Podobná aplikace

Numbers
Numbers

1 Jul 11

Melodies Juring
Melodies Juring

27 Jan 11

Aritm by MOB
Aritm by MOB

27 May 11

Komentáře k Pocket KrHyper

Komentáře nebyl nalezen
Přidat komentář
Zapnout obrázky!