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

Greenfish Plot
Greenfish Plot

1 Jun 11

mPustakAdd
mPustakAdd

13 Feb 11

Linalgo
Linalgo

5 Jul 11

Komentáře k Pocket KrHyper

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