Pocket KrHyper

Skjermbilde av Application:
Pocket KrHyper
Opplysningene i søknaden:
Versjon: 0.9.3
Last opp dato: 20 Jun 11
Lisens: Gratis
Popularitet: 36
Størrelse: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

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

Lignende søknader

Kommentarer til Pocket KrHyper

Kommentarer ikke funnet
Legg til kommentar
Slå på bilder!
Søk etter enhet
Nokia Asha 301

Nokia Asha 301