Pocket KrHyper
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 mobiltelefoner & Middot; Bruger få ressourcer & Middot; Interfaces til clausal første ordre logik og beskrivelse...
Læs mere