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

Math Training
Math Training

24 Nov 12

Trigonometry
Trigonometry

3 Jun 11

Arabic129
Arabic129

10 Jun 11

Komentáře k Pocket KrHyper

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