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...
číst více