Eulersharp

מנוע ההסברה לשימושך
הורד עכשיו

Eulersharp דירוג וסיכום

פרסומת

  • Rating:
  • רישיון:
  • Freeware
  • שם המפרסם:
  • Jos De Roo
  • גודל הקובץ:
  • 12.6 MB

Eulersharp תגים


Eulersharp תיאור

Eulersharp בנוי להיות מנוע מסקנה שיכול לתמוך הוכחות מבוססות ההיגיון. זהו שרשור לאחור משופרת עם זיהוי נתיב Euler. יש לה יישומים ב- Java, C #, Python, JavaScript ו Prolog. באמצעות N3 זה ניתנת לפעולה באמצעות CWM W3C.


Eulersharp תוכנה קשורה