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
Sony Ericsson K530i

Sony Ericsson K530i
For nylig viste Apps
Søg efter kategori