یک کتابخانه اثبات قضیه برای گوشی های موبایل J2ME است. این پشتیبانی از استدلال در گزاره، مرتبه اول، و منطق توضیحات و است که در مدیریت دانش تلفن همراه و یا برنامه های کاربردی وب معنایی است.
و middot. اولین reasoner برای گوشی های موبایل
و middot. با استفاده از منابع کمی
و middot. رابط برای clausal منطق مرتبه اول و منطق...
شما باید از ستاد خود را از حملات مخزن، مبارزه با هواپیما و هلیکوپتر محافظت کنید. شما باید تمام مخازن را در میدان جنگ نابود کنید تا تنها برای رسیدن به ماموریت...
کشف غنای از سرگرمی های ورزشی با استفاده از تصاویر جمع آوری شده از میلیون نفر از داوطلبان در وب جهانی. برنامه قهوه جدول برای edutainment از کلید؛ و یک راه جدید در مورد اخبار و حوادث از سراسر جهان یاد بگیرند. تاریخ 750000 به علاوه که کلید دانلود کرده برنامه...
کالینز آلمانی mPhrasefinder شامل 500 عبارات سفر آلمانی. خوانده شده آلمانی و گوش دادن به صدا در حالی که شما سفر می کند. در هیچ زمان، شما قادر خواهید بود را به آنچه شما در خارج از کشور خواهد بود.
و middot. متن از زبان را بر روی تلفن همراه خود را
و middot. شنیدن تلفظ از طریق هدفون یا بلندگو
و middot. استفاده از خارج از کشور در این جمع و جور، آسان به فروشگاه...