טוען...
Symbolic logic and mechanical theorem proving /
| מחבר ראשי: | |
|---|---|
| מחברים אחרים: | |
| שפה: | Undetermined |
| יצא לאור: |
1973.
|
| סדרה: | Computer science and applied mathematics,A series of monogra
|
University of Kerala
| סימן המיקום: |
R14 L3 |
|---|---|
| עותק LC1 | סטטוס עדכני לא זמין |