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í
