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...
Đã lưu trong:
Những tác giả chính: | , , , |
---|---|
Định dạng: | Sách |
Ngôn ngữ: | English |
Được phát hành: |
IOS Press
2013
|
Những chủ đề: | |
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 |
---|
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 https://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 |
https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35301 |
_version_ |
1819813781276983296 |