Opplysningene i søknaden:
Versjon: 0.9.3
Last opp dato: 20 Jun 11
Utvikler: Thomas Kleemann, Alex Sinner
Lisens: Gratis
Popularitet: 36
Størrelse: 75 Kb
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 logikk
Kommentarer ikke funnet