دسته بندی ها: علم و آموزش و پرورش, ریاضی
- صفحه اصلی
- Java
- LG T515
- Pocket KrHyper
- دانلود ...
جستجو توسط دستگاه
![LG T515](https://static.java-ware.net/data/devices/images/lg_t515.png)
LG T515
جستجو بر اساس طبقه بندی
Pocket KrHyper 0.9.3
یک کتابخانه اثبات قضیه برای گوشی های موبایل J2ME است. این پشتیبانی از استدلال در گزاره، مرتبه اول، و منطق توضیحات و است که در مدیریت دانش تلفن...
جستجو توسط دستگاه
![LG T515](https://static.java-ware.net/data/devices/images/lg_t515.png)
LG T515