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

Graph2Go
Graph2Go

28 Apr 11

TouchMaths 6
TouchMaths 6

27 Jan 11

Algeo calculator
Algeo calculator

20 Apr 11

Kommentarer til Pocket KrHyper

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