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

Dec2Bin
Dec2Bin

10 Mar 12

Jasymca
Jasymca

24 Jun 11

Melodies Juring
Melodies Juring

27 Jan 11

TouchMathPro
TouchMathPro

23 May 11

Kommentarer til Pocket KrHyper

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