Kategorie: Věda & Vzdělání, Matematika
Stáhnout přímo ze svého přístroje pomocí skenování QR kód níže
Žádné čtečka čárových kódů? Ke stažení zde
Pocket KrHyper 0.9.3
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í...
Vyhledávání podle zařízení
LG GC900
Nedávno zobrazené Aplikace
SafeSecret 23 Jun 11
Mission Moon 16 Jan 13
Doom for Java 31 Jan 17
undersea 6 Feb 14
LPlayer Java 15 Jan 13
Battle Blocks 15 Jun 11
mEyesSequence 2 Nov 11