Constraint solving over multi-valued logics application to digital circuits /
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả của công ty: | |
| Định dạng: | Luận văn Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Amsterdam ; Oxford :
IOS Press,
c2003.
|
| Loạt: | Frontiers in artificial intelligence and applications ;
v. 91. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. |
| Những chủ đề: | |
| Truy cập trực tuyến: | An electronic book accessible through the World Wide Web; click to view |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Mô tả vật lý: | xviii, 204 p. : ill. |
|---|---|
| Thư mục: | Includes bibliographical references and index. |
| số ISSN: | 0922-6389 ; |