Theory and Applications of Satisfiability Testing

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Hoos, Holger H., Mitchell, David G.
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82685
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

id	oai:scholar.dlu.edu.vn:DLU123456789-82685
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-826852020-02-20T02:42:16Z Theory and Applications of Satisfiability Testing Hoos, Holger H. Mitchell, David G. Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity 2020-02-20T02:42:16Z 2020-02-20T02:42:16Z 2005 Book 978-3-540-27829-0 978-3-540-31580-3 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82685 en Lecture Notes in Computer Science Springer-Verlag Berlin Heidelberg application/pdf Springer Berlin Heidelberg
institution	Thư viện Trường Đại học Đà Lạt
collection	Thư viện số
language	English
topic	Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity
spellingShingle	Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Hoos, Holger H. Mitchell, David G. Theory and Applications of Satisfiability Testing
format	Book
author	Hoos, Holger H. Mitchell, David G.
author_facet	Hoos, Holger H. Mitchell, David G.
author_sort	Hoos, Holger H.
title	Theory and Applications of Satisfiability Testing
title_short	Theory and Applications of Satisfiability Testing
title_full	Theory and Applications of Satisfiability Testing
title_fullStr	Theory and Applications of Satisfiability Testing
title_full_unstemmed	Theory and Applications of Satisfiability Testing
title_sort	theory and applications of satisfiability testing
publisher	Springer Berlin Heidelberg
publishDate	2020
url	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82685
_version_	1757666260645052416

Theory and Applications of Satisfiability Testing

Những quyển sách tương tự