Handbook of Satisfiability

Mã QR

Handbook of Satisfiability

FAIA covers all aspects of theoretical and applied artificial intelligence research in the form of monographs, doctoral dissertations, textbooks, handbooks and proceedings volumes. The FAIA series contains several sub-series, including “Information Modelling and Knowledge Bases” and “Knowledge-Ba...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Biere, Armin, Heule, Marijn, Maaren, Hans van, Walsh, Toby
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	IOS Press 2013
Những chủ đề:	Handbook Satisfiability
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35301
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 2017
Bỡi: Gaspers, Serge, et al.
Được phát hành: (2020)

The McGraw - Hill college handbook /
Bỡi: Marius Richard
Được phát hành: (1994)

Electromechanical design handbook
Bỡi: Ronald A Walsh
Được phát hành: (1999)

The E-Business Handbook
Bỡi: Lowry, Paul, et al.
Được phát hành: (2012)

Handbook of Hemorheology and Hemodynamics
Bỡi: Baskurt, Oguz K, et al.
Được phát hành: (2013)

Food Engineering Handbook
Bỡi: Varzakas, Theodoros, et al.
Được phát hành: (2015)

writing a college handbook
Bỡi: Đỗ, Văn Thuấn
Được phát hành: (2006)

Indonesia handbook 1973
Được phát hành: (1973)

Indonesia handbook, 1974
Được phát hành: (1974)

Indonesia Handbook, 1975
Được phát hành: (1975)

Plastics engineering handbook
Bỡi: Randolph, Alan F.
Được phát hành: (1962)

Handbook of Thin-Film Technology
Bỡi: Frey, Hartmut, et al.
Được phát hành: (2015)

Handbook of antimicrobial therapy
Được phát hành: (1996)

Handbook of hydrology
Được phát hành: (1993)

Handbooks of the convention on biological diversity
Được phát hành: (2003)

Handbook of materials for product design
Bỡi: Harper, Charles A.
Được phát hành: (2001)

Handbook for Pandemic and Mass-Casualty Planning and Response
Bỡi: Gursky, Elin, et al.
Được phát hành: (2014)

Slurry systems handbook
Bỡi: Abulnaga, Baha E.
Được phát hành: (2002)

Satisfying hidden hunger :
Được phát hành: (2010)

Handbook of material weathering /
Bỡi: Wypych, George.
Được phát hành: (2013)

Occupational Outlook Handbook 2008-09 Edition (Occupational Outlook Handbook ) /
Bỡi: The United States Department of Labor
Được phát hành: (2008)

A Handbook for the Sheep Clinician (7th Edition)
Bỡi: Winter, Agnes C, et al.
Được phát hành: (2014)

Data Envelopment Analysis A Handbook of Models and Methods
Bỡi: Zhu, Joe
Được phát hành: (2015)

Handbook of Operations Research in Agriculture and the Agri-Food Industry
Bỡi: Plà-Aragonés, Lluis M
Được phát hành: (2015)

Handbook of Purified Gases
Bỡi: Schoen, Helmut
Được phát hành: (2015)

Handbook of Green Chemistry
Bỡi: Anastas, Paul T.
Được phát hành: (2012)

The cabling handbook
Bỡi: John R. Vacca
Được phát hành: (2001)

Handbook of industrial crops
Bỡi: Chopra, V. L.
Được phát hành: (2005)

Comprehensive handbook of psychotherapy
Được phát hành: (2002)

Comprehensive handbook of psychotherapy
Được phát hành: (2002)

Comprehensive handbook of psychotherapy /
Được phát hành: (2002)

Comprehensive handbook of psychotherapy.
Được phát hành: (2002)

Comprehensive handbook of psychotherapy.
Được phát hành: (2002)

Comprehensive handbook of psychotherapy.
Được phát hành: (2002)

The civil engineering handbook
Bỡi: Chen, W. F.
Được phát hành: (2003)

Clean water handbook
Được phát hành: (1996)

Electronics portable handbook
Bỡi: Gibilisco, Stan
Được phát hành: (1999)

Teacherâ€™s handbook of sociology
Bỡi: M.H., Syed
Được phát hành: (2007)

The career navigation handbook /
Được phát hành: (2004)

The sales success handbook :
Bỡi: Richardson, Linda
Được phát hành: (2006)