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

Theory and applications of satisfiability testing : 7th International Conference, SAT 2004 Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers / Holger H. Hoos, David G. Mitchell (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2005
形態:
xiii, 392 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 3542 <BA00009279>
著者名:
ISBN:
9783540278290 [354027829X]
書誌ID:
BA72823599
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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

Springer

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Springer

Marques-Silva, Jo?o, Hutchison, David, Kanade, Takeo, Sakallah, Karem A.

Springer eBooks Computer Science, Springer Berlin Heidelberg

Biere, Armin, Heule, Marijn, Maaren, Hans van, Walsh, Toby

IOS Press

Marques-Silva, João, Hutchison, David, Kanade, Takeo, Sakallah, Karem A.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

Hoos, Holger H., Kanade, Takeo, Mitchell, David G.

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Hutchison, David, Kanade, Takeo, Kittler, Josef, Sebastiani, Roberto

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

Hoos, Holger H., Kanade, Takeo, Mitchell, David G., Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg

International Workshop on Algorithmic Learning Theory, Ben-David, Shai, Case, John, 1942-, 丸岡, 章

Springer

International Workshop on Mathematics Mechanization, GIAE, Li, Hongbo, Olver, Peter J., Sommer, Gerald

Springer

ICLSSC, Margenov, Svetozar, Waśniewski, Jerzy, 1931-, Yalamov, Plamen

Springer

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