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ả chi tiết

Lưu vào:
Hiển thị chi tiết
Tác giả chính: Biere, Armin, Heule, Marijn, Maaren, Hans van, Walsh, Toby
Định dạng: Sách
Ngôn ngữ:English
Thông tin xuất bản: IOS Press 2013
Chủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35301
Từ khóa: Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!