تفاصيل التطبيق:
الإصدار: 0.9.3
تاريخ إيداع: 20 Jun 11
المطور: Thomas Kleemann, Alex Sinner
ترخيص: حرر
شعبية: 36
حجم: 75 Kb
Pocket KrHyper هو إثبات مكتبة نظرية للهواتف النقالة J2ME. وهو يدعم المنطق في اقتراحي، الدرجة الأولى، ووصف المنطق ويهدف إلى إدارة المعرفة النقالة أو تطبيقات الويب الدلالي.
وميدوت. والمفكر الأول للهواتف النقالة
وميدوت. يستخدم موارد قليلة
وميدوت. واجهات لclausal الأول منطق النظام ووصف المنطق
لم يتم العثور على التعليقات