>> Google Books
所蔵情報QRコード

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
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

International Conference on Theory and Applications of Satisfiability Testing, Bacchus, Fahiem, Walsh, Toby

Springer

SAT 2005, Bacchus, Fahiem, Kanade, Takeo, Walsh, Toby

Springer eBooks Computer Science, Springer Berlin / Heidelberg

International Conference on Theory and Applications of Satisfiability Testing, Hoos, Holger H., Mitchell, David G.

Springer

SAT 2005, Bacchus, Fahiem, Kanade, Takeo, Walsh, Toby, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg

International Conference on Theory and Applications of Satisfiability Testing, Giunchiglia, Enrico, Tacchella, Armando

Springer

Biere, Armin, Gomes, Carla P., Kanade, Takeo, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg

Gaspers, Walsh, Toby

SpringerLink Books - AutoHoldings, Springer International Publishing

International Conference on Theory and Applications of Satisfiability Testing, Biere, Armin, Gomes, Carla P.

Springer

Heule

Springer eBooks Computer Science, Springer International Publishing

Heule, Weaver, Sean

SpringerLink Books - AutoHoldings, Springer International Publishing

Biere, Armin, Gomes, Carla P., Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

12 電子ブック Computer Aided Verification

Armin Biere, Roderick Bloem

Springer eBooks Computer Science, Springer International Publishing

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12