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
Samsung E250
Utoljára megtekintett szoftver
Tetris Mania 5 Jul 18
Silent hill 2 3d 25 Feb 13
amoo hamid 24 Jan 13
IQ Spider Italian 13 May 11
Jabber Mix Client 28 Jan 11
Aashiqui 2 7 Nov 13
837783 15 Jan 13
Pipe Mania 5 May 18
Crazy Xray 2 Nov 11
Cricket Khabri 12 May 11