Đ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: |
John Wiley & Sons,
1987.
|
University of Calicut
| Số hiệu: |
68 GAL |
|---|---|
| Sao chép | Trạng thái trực tiếp không khả dụng |