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

Kommentarer til Pocket KrHyper

Kommentarer ikke fundet
Tilføj kommentar
Tænd billeder!
Søg efter enhed
Sony Ericsson Zylo W20i

Sony Ericsson Zylo W20i