>> 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

7 電子ブック Computer Aided Verification

Armin Biere, Roderick Bloem

Springer eBooks Computer Science, Springer International Publishing

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

Springer

International Workshop on Algorithmic Learning Theory, Jain, Sanjay, 1965 Feb. 22-, Simon, Hans Ulrich, 1954-, 富田, …

Springer

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

Springer

9 電子ブック SAT 2005

Giunchiglia, Enrico; Walsh, Toby, Giunchiglia, Enrico, Walsh, Toby

Springer eBooks Computer Science, Springer Netherlands

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

Springer eBooks Computer Science, Springer Berlin / Heidelberg

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

Springer eBooks Computer Science, Springer Berlin / Heidelberg

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

Springer

Congress on Information System Science and Technology, Walker, Donald E., 1928-, United States. Air Force. Systems …

Thompson Book Co, Academic Press

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