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...
Downloade direkte fra enheden ved at scanne QR-koden NEDENFOR
Ingen stregkodelæser? Download her
QR kode genereret af TEC-IT Barcode Software

Anbefalede anvendelser Til Sony Ericsson C902