Handbook of satisfiability / edited by Armin Biere ... [et al.]
- 資料種別:
- 図書
- 出版情報:
- Amsterdam : IOS Press, c2009
- 形態:
- xiii, 966 p. ; 25 cm
- シリーズ名:
- Frontiers in artificial intelligence and applications ; v. 185 <BA11770513>
- 著者名:
- ISBN:
- 9781586039295 [1586039296]
- 書誌ID:
- BA89161568
類似資料:
Springer eBooks Computer Science, Springer Berlin / Heidelberg | |
SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg | |
SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg | |
SpringerLink Books - AutoHoldings, Springer International Publishing | |
Springer eBooks Computer Science, Springer International Publishing |
SpringerLink Books - AutoHoldings, Springer International Publishing |
Springer eBooks Computer Science, Springer Berlin / Heidelberg |
Springer eBooks Computer Science, Springer International Publishing |