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...
du skal beskytte dit hovedkvarter mod tankangreb, kampfly og helikoptere. Du skal ødelægge alle tanke på slagmarken undtagen en for at kunne gå til næste...
Oplev den rigdom af sport underholdning brug af billeder indsamlet fra millioner af frivillige på det globale web. En coffee-table app til edutainment fra nøgler; og en ny måde at lære om nyheder og begivenheder fra hele verden. Deltag i 750.000 plus der har downloadet Keys...
Collins German mPhrasefinder indeholder 500 tyske rejse sætninger. Læs tysk og lytte til lyden, mens du rejser. På ingen tid, vil du være i stand til at sige, hvad du mener i udlandet.
& Middot; Se teksten sproget på din mobil
& Middot; Hør udtale via hovedtelefoner eller højttaler
& Middot; Brug i udlandet i denne kompakte, nem at opbevare...