دسته بندی ها: علم و آموزش و پرورش, ریاضی
Pocket KrHyper 0.9.3
یک کتابخانه اثبات قضیه برای گوشی های موبایل J2ME است. این پشتیبانی از استدلال در گزاره، مرتبه اول، و منطق توضیحات و است که در مدیریت دانش تلفن...
جستجو توسط دستگاه
LG GT350