Đang tải...
Logic for computer science : foundations of automatic theorem proving /
| Tác giả chính: | |
|---|---|
| Định dạng: | Printed Book |
| Ngôn ngữ: | English |
| Được phát hành: |
New York :
Dover,
2015
|
| Phiên bản: | 2nd ed. |
| Những chủ đề: |
University of Calicut
| Số hiệu: |
511.360285 GAL/L |
|---|---|
| Sao chép | Trạng thái trực tiếp không khả dụng |