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

Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006, proceedings / ed. Armin Biere, Carla P. Gomes

資料種別:
図書
出版情報:
Berlin : Springer, 2006
形態:
xii, 438 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 4121 <BA00009279>
著者名:
ISBN:
9783540372066 [3540372067]
書誌ID:
BA78207962
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer eBooks Computer Science, Springer Berlin / Heidelberg

International Conference on Rewriting Techniques and Applications, Pfenning, Frank

Springer

International Conference on the Theory and Application of Cryptology, Lai, Xuejia, Chen, Kefei

Springer

International Conference on Database Ssytems for Advanced Applications, Lee, Mong Li, Tan, Kian Lee, Wuwongse, Vilas

Springer Berlin

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