Pocket KrHyper
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 mobiltelefoner & Middot; Bruker lite ressurser & Middot; Grensesnitt for clausal første ordens logikk og beskrivelse...
Les mer