Decision Procedures
Đã lưu trong:
Những tác giả chính: | Kroening, Daniel, Strichman, Ofer |
---|---|
Đị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/81958 |
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ự
Những quyển sách tương tự
-
Scalable Uncertainty Management
Bỡi: Moral, Serafín, et al.
Được phát hành: (2020) -
Interactive Theorem Proving
Bỡi: Ayala-Rincón, Mauricio, et al.
Được phát hành: (2020) -
Automated Deduction - CADE-21
Bỡi: Pfenning, Frank
Được phát hành: (2020) -
Automated Reasoning
Bỡi: Galmiche, Didier, et al.
Được phát hành: (2020) -
Developments in Language Theory
Bỡi: Hoshi, Mizuho, et al.
Được phát hành: (2020)