Đang tải...
Introduction to mathematics of satisfiability /
| Tác giả chính: | |
|---|---|
| Định dạng: | Printed Book |
| Ngôn ngữ: | English |
| Được phát hành: |
Boca Raton :
CRC Press,
c2009.
|
| Loạt: | Chapman & Hall/CRC studies in informatics series.
|
| Những chủ đề: |
University of Calicut
| Số hiệu: |
511.3 MAR/I |
|---|---|
| Sao chép | Trạng thái trực tiếp không khả dụng |