Nærmere oplysninger om ansøgning:
Version: 0.9.3
Upload dato: 20 Jun 11
Udvikler: Thomas Kleemann, Alex Sinner
Licens: Gratis
Popularitet: 36
Størrelse: 75 Kb
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 logik
Kommentarer ikke fundet