Pocket KrHyper

Screenshot af Application:
Pocket KrHyper
Nærmere oplysninger om ansøgning:
Version: 0.9.3
Upload dato: 20 Jun 11
Licens: Gratis
Popularitet: 36
Størrelse: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

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

Lignende Ansøgninger

Solve2Go
Solve2Go

28 Apr 11

TouchMaths_ME
TouchMaths_ME

7 Jun 11

Fit2Go
Fit2Go

28 Apr 11

Kommentarer til Pocket KrHyper

Kommentarer ikke fundet
Tilføj kommentar
Tænd billeder!