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 B7722
Utoljára megtekintett szoftver
CellSerf 23 Jun 11
Xpressmusic Green Sr 10 Apr 12
WWE 16 Feb 13
PhotoCode 7 Mar 11
Game mGo Online 12 Dec 12
Crazy Xmas 12 Sep 11
10,03 10 May 14
Maze-Game 10 May 11
Race to Witch mountain 21 Jun 18
Age of Heroes V Warriors Way free 2 Feb 12