Pocket KrHyper
یک کتابخانه اثبات قضیه برای گوشی های موبایل J2ME است. این پشتیبانی از استدلال در گزاره، مرتبه اول، و منطق توضیحات و است که در مدیریت دانش تلفن همراه و یا برنامه های کاربردی وب معنایی است. و middot. اولین reasoner برای گوشی های موبایل و middot. با استفاده از منابع کمی و middot. رابط برای clausal منطق مرتبه اول و منطق...
اطلاعات بیشتر