Đang tải...
Computer science logic /
| Tác giả khác: | Makowsky, Johann A. |
|---|---|
| Định dạng: | Printed Book |
| Được phát hành: |
Berlin:
Springer,
2003.
|
| Những chủ đề: |
Những quyển sách tương tự
Những quyển sách tương tự
-
Logic In Computer Science /
Bằng: Huth, Michael .
Được phát hành: (2004) -
Logics for computer science
Bằng: Singh, Arindama
Được phát hành: (2004) -
Logic for computer science : foundations of automatic theorem proving /
Bằng: Gallier, Jean H.
Được phát hành: (1986) -
Logic in computer science Modelling and reasoning about systems /
Bằng: Huth, Michael
Được phát hành: (2004) -
Handbook of logic and proof techniques for computer science
Bằng: karntz, Steven G
Được phát hành: (2002)