טוען...
Symbolic, logic and mechanical theorem proving
| מחבר ראשי: | |
|---|---|
| מחברים אחרים: | |
| פורמט: | Printed Book |
| שפה: | English |
| יצא לאור: |
New York
Academic Press
1973
|
| נושאים: |
UL
| סימן המיקום: |
519.6 CHA |
|---|---|
| עותק | סטטוס עדכני לא זמין |