Clausal form logic an introduction to the logic of computer reasoning
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Sydney
Addison-Wesley Pub. Co.
c1989.
|
| Loạt: | International computer science series
|
| Những chủ đề: |