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
Senast visade programvara
DateCalc for Java 29 Jun 11
Binary Clock (Java) 20 Jun 11
Minesweeper (Java) 19 Jan 11
Android 3 Dec 12
-
MobileBackup 12 May 11
Yong Reader 29 Apr 11
VisualStudio 14 Mar 11
Serial Port Tester 29 Jun 11
biNu Internet Java Software 27 May 11
microsoft excel 28 Nov 12