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
Gratis download POCKET KRHYPER TIL JAVA

Anbefalede anvendelser Til Java

Søg efter enhed
Min enhed
For nylig viste Apps
Søg efter kategori