Podrobnosti o aplikaci:
Verze: 0.9.3
Datum uploadu: 20 Jun 11
Vývojka: Thomas Kleemann, Alex Sinner
Licence: Volný
Popularita: 36
Velikost: 75 Kb
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
Komentáře nebyl nalezen