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