Bridging Constraint Satisfaction and Boolean Satisfiability / by Justyna Petke
(Artificial Intelligence: Foundations, Theory, and Algorithms. ISSN:2365306X)
| データ種別 | 電子ブック |
|---|---|
| 版 | 1st ed. 2015. |
| 出版情報 | Cham : Springer International Publishing : Imprint: Springer , 2015 |
| 大きさ | XI, 113 p. 19 illus : online resource |
書誌詳細を非表示
| 著者標目 | *Petke, Justyna author SpringerLink (Online service) |
|---|---|
| 件 名 | LCSH:Artificial intelligence LCSH:Computer science FREE:Artificial Intelligence FREE:Theory of Computation |
| 分 類 | LCC:Q334-342 LCC:TA347.A78 DC23:006.3 |
| 巻冊次 | ebook ; ISBN:9783319218106 
|
| ISBN | 9783319218106 |
| URL | https://doi.org/10.1007/978-3-319-21810-6 |
目次／あらすじ
類似資料
この資料の利用統計
このページへのアクセス回数：1回
※2021年9月12日以降