 | סְנַפִּירFlipper היא תוכנית שעושה חיפוש מקומי אקראי עבור סיפוק של 3 משפטים משתנים prenex. |
| הורד עכשיו | |
סְנַפִּיר דירוג וסיכום
פרסומת
- רישיון:
- GPL
- מחיר:
- FREE
- שם המפרסם:
- Andr Rognes
- אתר האינטרנט של המוציא לאור:
- http://flipper.berlios.de/
סְנַפִּיר תגים
סְנַפִּיר תיאור
Flipper היא תוכנית שעושה חיפוש מקומי אקראי עבור סיפוק של 3 משפטים prenex משתנה. Flipper היא תוכנית שעושה חיפוש מקומי אקראי עבור סיפוק של 3 משפטים prenex משתנה בחישוב טהור predicate. זה עושה זאת על ידי הוכחת ססוק יחסית לתת תיאוריות מסודרות.
סְנַפִּיר תוכנה קשורה
