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 800G

LG 800G
Søk etter kategori