Theory and Applications of Satisfiability Testing - SAT 2009
Đã lưu trong:
Định dạng: | Sách |
---|---|
Ngôn ngữ: | English |
Được phát hành: |
Springer Berlin Heidelberg
2020
|
Những chủ đề: | |
Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81321 |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Những quyển sách tương tự
-
Theory and Applications of Satisfiability Testing - SAT 2007
Bỡi: Marques-Silva, Joao, et al.
Được phát hành: (2020) -
Theory and Applications of Satisfiability Testing
Bỡi: Hoos, Holger H., et al.
Được phát hành: (2020) -
Theory and Applications of Satisfiability Testing
Được phát hành: (2020) -
Theory and Applications of Models of Computation. 1st ed. 2017
Bỡi: Gopal, T.V., et al.
Được phát hành: (2020) -
Language and Automata Theory and Applications
Bỡi: Martín-Vide, Carlos, et al.
Được phát hành: (2020)