Pocket KrHyper
هو إثبات مكتبة نظرية للهواتف النقالة J2ME. وهو يدعم المنطق في اقتراحي، الدرجة الأولى، ووصف المنطق ويهدف إلى إدارة المعرفة النقالة أو تطبيقات الويب الدلالي. وميدوت. والمفكر الأول للهواتف النقالة وميدوت. يستخدم موارد قليلة وميدوت. واجهات لclausal الأول منطق النظام ووصف...
اقرأ المزيد