Kategorier: Science & Utdanning, Math
- Hjemmeside
- Java
- LG C199
- Pocket KrHyper
- Nedlasting av ...
Søk etter enhet
![LG C199](https://static.java-ware.net/data/devices/images/lg_c199.png)
LG C199
Søk etter kategori
Pocket KrHyper 0.9.3
er et teorem beviser bibliotek for J2ME mobiltelefoner. Den støtter resonnement i propositional, første ordre, og beskrivelse logikk og er rettet mot mobile knowledge management eller semantiske web-applikasjoner.
& Middot; Den første reasoner for...
Søk etter enhet
![LG C199](https://static.java-ware.net/data/devices/images/lg_c199.png)
LG C199