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...
Du må beskytte hovedkvarteret ditt mot tankangrep, kampfly og helikoptre. Du må ødelegge alle tankene på slagmarken, unntatt en for å kunne gå til neste...
Oppdage rikdommen i sport underholdning ved hjelp av bilder hentet fra millioner av frivillige på det globale nettet. En kaffebord app for edutainment fra Keys; og en ny måte å lære om nyheter og hendelser fra hele verden. Bli med 750.000 pluss som har lastet ned Keys...
Collins tysk mPhrasefinder inneholder 500 tyske reise setninger. Les tysk og lytte til lyden mens du reiser. På kort tid, vil du være i stand til å si hva du mener i utlandet.
& Middot; Se teksten av språket på mobilen
& Middot; Hør uttale gjennom hodetelefoner eller høyttalere
& Middot; Bruk i utlandet i denne kompakte, lett-å-store...