Pocket KrHyper

Pocket KrHyper

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

اطلاعات بیشتر

Folk Hits of Reshma Lite

Folk Hits of Reshma Lite

سحر و جادو از موسیقی محلی بافته شده توسط رشما، بار موسیقی از & amp؛ Nupur صوتی را به شما بازدید برنامه عامیانه از رشما، یکی از خوانندگان محلی مشهور ترین. او در هند متولد شد اما خانواده او پس از پارتیشن به پاکستان...

اطلاعات بیشتر