Kategorier: Science & Uddannelse, Math
- Hjemmeside
- Java
- Nokia C2-02 / C2-03 / C2-05
- Pocket KrHyper
- Downloader ...
Søg efter enhed
![Nokia C2-02 / C2-03 / C2-05](https://static.java-ware.net/data/devices/images/nokia_c2-02.png)
Nokia C2-02 / C2-03 / C2-05
Søg efter kategori
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
![Nokia C2-02 / C2-03 / C2-05](https://static.java-ware.net/data/devices/images/nokia_c2-02.png)
Nokia C2-02 / C2-03 / C2-05