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
Nokia 6267
Utoljára megtekintett szoftver
DOG FIGHT Free 18 Aug 15
Yong Reader 29 Apr 11
Letter S 21 Jun 13
Super Fun Free 18 Sep 15
PeriodicTabler 7 Jul 16
Stunt mania 19 May 17
Biocide 6 Dec 10
WAR 1944 18 Sep 15
Wisepilot 13 Jun 11
Live Score 26 Dec 12