Kategorier: Science & Uddannelse, Math
Pocket KrHyper 0.9.3
er et teorem bevise bibliotek for J2ME mobiltelefoner. Det understøtter ræsonnement i udsagnslogik, første ordre, og beskrivelse logik og er rettet mod mobile videnledelse eller semantiske web-applikationer.
& Middot; Den første Reasoner til...
Søg efter enhed
Nokai 6500 Classic
For nylig viste Apps
UpCode (Java) 4 Dec 10
Swf Mcr Clock 26 Oct 15
MiniCommander 3.0 New !! Java file explo 24 Jan 13
bar coder 1 Dec 12
J2MEdit - Source Code Editor 16 Jan 13