Kategóriák: Tudomány és Oktatás, Math
Pocket KrHyper 0.9.3
egy tétel bizonyítása könyvtár J2ME mobiltelefonok. Támogatja indokolás propozicionális, elsőrendű, és leírás a logika és a célja, hogy a mobil tudásmenedzsment vagy szemantikus web alkalmazások.
& Middot; Az első következtető...
Keresés eszköz
Nokai 6500 Classic
Utoljára megtekintett szoftver
Swine Dining 22 Dec 10
Eye Clock 6 Jun 12
bar coder 1 Dec 12
Binary Clock J2ME 25 Jun 11
W3D2 17 Mar 11
MemoryUp.v3.8.J2ME.Edition.S60.Java P2 23 Jan 13
Listango ListManager (Java) 4 Jul 11
J2ME CryptText 16 Mar 11
Creat multi java file via mobile 15 Jan 13
one browses 3.1 handler ui 5 Mar 13