Kategorier: Science & Utdanning, Math
Pocket KrHyper 0.9.3
er et teorem beviser bibliotek for J2ME mobiltelefoner. Den støtter resonnement i propositional, første ordre, og beskrivelse logikk og er rettet mot mobile knowledge management eller semantiske web-applikasjoner.
& Middot; Den første reasoner for...
Søk etter enhet
LG 840G
Nylig viste programvare
BNI SMS Banking 21 Apr 11
Alien Attack for Java 29 Jun 11
J2ME OGC WMS Client 7 Jul 11
RSS Reader MIDlet 28 Jun 11
UCbrowser 8 by cs 20 Jan 13
Color Flash Light by Laaba 12 Sep 15
Nimbuzz Calls and Messaging 16 Nov 11
Infoo Hide Pro 7 Apr 11
Internet 2x on Android 17 Apr 15
UC Browser 8.5 java 28 Dec 12