Kategorier: Science & Utbildning, Math
Pocket KrHyper 0.9.3
är en sats bevisar bibliotek för J2ME mobiltelefoner. Den stöder resonemang i påstående, första ordning och beskrivning logik och riktar sig till mobila kunskapshantering eller semantiska webbapplikationer.
& Middot; Den första reasoner för...
Sök efter enhet
Samsung E2600
Senast visade programvara
UTC clock android 10 May 11
File Hide - Free 9 Jan 13
Complex Numbers Calculator 19 May 11
iBored-240x320 19 Apr 11
Moving GPS Map / InFlight 14 Jun 11
Common Knowledge Quiz 22 Dec 10
Tic tac toe java 13 Jan 11
Analog Clock 28 Nov 13
Mobile BASIC 1 Jul 11
Maufait InstaFind (Java) 26 May 12