Pocket KrHyper 20 Jun 11 在 科學教育, 數學 ?J2ME手機的定理證?庫。它支持命題,第一順序和描述邏輯中的推理,並且針對移動知?管理或語義網絡應用。 ·第一個推理器的手機 ·使用少量資源 ·適合一階邏輯和描述邏輯的接口... 閱讀更多
Sports of Asia 6 Dec 10 在 多媒體&圖像, 攝影 使用從全球網絡上的數百萬志?者收集的圖像,發現豐富的運動娛樂。一個咖啡桌應用程序edutainment從鑰匙;和一種新的方式來了解來自世界各地的新聞和事件。加入已經下載Keys應用程序的75萬。... 閱讀更多
Collins German mPhrasefinder 20 Jun 11 在 字典&翻譯者, 英文美國人, 德語 Collins德語mPhrasefinder包含500個德國旅遊短語。閱讀德語並在旅行時聽音頻。在任何時候,你將能夠說你的意思國外。 ·在手機上查看語言的文字 ·通過耳機或揚聲器聽到發音 ·在國外使用這種緊湊,?於?儲的格式... 閱讀更多