J2ME mobil telefonlar üçün teorem isbat kitabxanadır. Bu propositional, birinci və təsviri məntiq əsaslandırıcı dəstəkləyir və mobil bilik idarə və ya semantik web applications yönəlmişdir.
& Middot; Mobil telefonlar üçün ilk Reasoner
& Middot; az resurslardan istifadə edir
& Middot; clausal birinci məntiq və təsviri məntiq...
qərargahınızı tank hücumlarından, təyyarələrlə və helikopterlərlə mübarizə aparmaq lazımdır. Növbəti missiyaya getmək üçün bir döyüş hövzəsi içərisindəki bütün tankları məhv...
Qlobal web könüllü milyonlarla toplanmış images istifadə edərək idman əyləncə zənginliyi kəşf edin. Keys olan edutainment üçün qəhvə masa app; və yeni bir yol xəbərlər və dünyanın hadisələr haqqında məlumat üçün. 750,000 plus nazil Keys apps...
Collins Alman mPhrasefinder 500 Alman səyahət ifadələr ehtiva edir. Alman oxuyun və səyahət isə audio qulaq asmaq. Heç bir zaman, siz xaricdə demək nə demək olacaq.
& Middot; Mobil dili mətn bax
& Middot; qulaqlıq və ya spikeri vasitəsilə tələffüz dinlemek
& Middot; Bu yığcam, asan-mağaza formatında xaricdə...