Đang tải...
Symbolic logic and mechanical theorem proving /
| Tác giả chính: | |
|---|---|
| Tác giả khác: | |
| Ngôn ngữ: | Undetermined |
| Được phát hành: |
1973.
|
| Loạt: | Computer science and applied mathematics,A series of monogra
|
University of Kerala
| Số hiệu: |
R14 L3 |
|---|---|
| Sao chép LC1 | Trạng thái trực tiếp không khả dụng |