Pocket KrHyper 0.9.3

یک کتابخانه اثبات قضیه برای گوشی های موبایل J2ME است. این پشتیبانی از استدلال در گزاره، مرتبه اول، و منطق توضیحات و است که در مدیریت دانش تلفن...
جستجو توسط دستگاه
دستگاه من
نرم افزار اخیرا مشاهده
جستجو بر اساس طبقه بندی