פרסומת
מתמטיקה :: לוגיקה
מתמטיקה :: ההיגיון הוא מודול פרל המספק לוגיקה 2, 3 או רב ערך רב. ...
מתמטיקה :: לוגיקה :: predicate
מתמטיקה :: ההיגיון :: predicate הוא מודול perl לנהל ולשילוי מסד נתונים טוען predicate. ...
לוגיקה סביר
לוגיקה סבירה היא משפט עבור ההיגיון הראשון עם שוויון. ...
חֶשְׁבּוֹן משפט פרובר ייצוג הנוסחה רזולוציה subsumption מִשׁפָּט
פלאש- plaice.
Flash-plaice הוא כלי פיתוח רב עוצמה. ...
מחיצה לוגיקה
מחיצה לוגיקה היא כלי מחיצות עצמאי למחשבים תואמים למחשב. ...
מערכת קובץ לוגיקה
הקבצים של האקרים מפלים. ...