Clausal form logic an introduction to the logic of computer reasoning

Chi tiết về thư mục
Tác giả chính: Richards, Tom
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Sydney Addison-Wesley c1989.
Những chủ đề: