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:	http://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

id	oai:scholar.dlu.edu.vn:DLU123456789-35301
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-353012014-01-20T00:01:37Z Handbook of Satisfiability Biere, Armin Heule, Marijn Maaren, Hans van Walsh, Toby Handbook 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-Based Intelligent Engineering Systems”. It also includes the biennial ECAI, the European Conference on Artificial Intelligence, proceedings volumes, and other ECCAI – the European Coordinating Committee on Artificial Intelligence – sponsored publications. An editorial panel of internationally well-known scholars is appointed to provide a high quality selection. 2013-08-30T07:04:06Z 2013-08-30T07:04:06Z 2009 Book 978-1-58603-929-5 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35301 en application/pdf IOS Press
institution	Thư viện Trường Đại học Đà Lạt
collection	Thư viện số
language	English
topic	Handbook Satisfiability
spellingShingle	Handbook Satisfiability Biere, Armin Heule, Marijn Maaren, Hans van Walsh, Toby Handbook of Satisfiability
description	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-Based Intelligent Engineering Systems”. It also includes the biennial ECAI, the European Conference on Artificial Intelligence, proceedings volumes, and other ECCAI – the European Coordinating Committee on Artificial Intelligence – sponsored publications. An editorial panel of internationally well-known scholars is appointed to provide a high quality selection.
format	Book
author	Biere, Armin Heule, Marijn Maaren, Hans van Walsh, Toby
author_facet	Biere, Armin Heule, Marijn Maaren, Hans van Walsh, Toby
author_sort	Biere, Armin
title	Handbook of Satisfiability
title_short	Handbook of Satisfiability
title_full	Handbook of Satisfiability
title_fullStr	Handbook of Satisfiability
title_full_unstemmed	Handbook of Satisfiability
title_sort	handbook of satisfiability
publisher	IOS Press
publishDate	2013
url	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35301
_version_	1757670517801746432

Handbook of Satisfiability

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