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

Algeo calculator
Algeo calculator

20 Apr 11

MobileMath
MobileMath

20 Jun 11

TouchMaths
TouchMaths

12 May 11

Kommentarer til Pocket KrHyper

Kommentarer ikke funnet
Legg til kommentar
Slå på bilder!