Đang tải...
Logic in computer science Modelling and reasoning about systems /
Tác giả chính: | |
---|---|
Tác giả khác: | |
Ngôn ngữ: | Undetermined |
Được phát hành: |
Cambridge Univeristy Press ,
2004.
|
Phiên bản: | 2nd ed. |
Những chủ đề: |
University of Kerala
Số hiệu: |
D651:(R1) P4 |
---|---|
Sao chép | Trạng thái trực tiếp không khả dụng |