פרטים של יישום:
גרסה: 0.9.3
טען תאריך: 20 Jun 11
מפתחים: Thomas Kleemann, Alex Sinner
רשיון: ללא תשלום
פופולריות: 36
גודל: 75 Kb
Pocket KrHyper היא ספריה להוכיח משפ�? ל�?לפונים ניידים J2ME. הוא תומך הנמקה היגדי, מהמדרגה הראשונה, והיגיון תיאור ויעוד הנו ניהול ידע נייד או יישומי אינ�?רנ�? סמנ�?יים.
& מידות; ריזונר הראשון עבור �?לפונים ניידים
& מידות; שימושי משאבים ק�?נים
& מידות; ממשקים עבור היגיון סדר והיגיון התיאור הראשון clausal
תגובות לא נמצא