جزئیات برنامه:
نسخه: 0.9.3
ها تاریخ: 20 Jun 11
توسعه دهنده: Thomas Kleemann, Alex Sinner
پروانه: رایگان
محبوبیت: 36
اندازه: 75 Kb
Pocket KrHyper یک کتابخانه اثبات قضیه برای گوشی های موبایل J2ME است. این پشتیبانی از استدلال در گزاره، مرتبه اول، و منطق توضیحات و است که در مدیریت دانش تلفن همراه و یا برنامه های کاربردی وب معنایی است.
و middot. اولین reasoner برای گوشی های موبایل
و middot. با استفاده از منابع کمی
و middot. رابط برای clausal منطق مرتبه اول و منطق شرح
نظر یافت نشد