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

Theory and applications of satisfiability testing : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2004
形態:
xi, 530 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2919 <BA00009279>
著者名:
ISBN:
9783540208518 [3540208518]
書誌ID:
BA65603253
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Theory and applications of satisfiability testing : 7th International Conference, SAT 2004 Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

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

Springer
7 図書 Algorithmic learning theory : 10th International Conference, ALT '99, Tokyo, Japan, December 6-8, 1999 : proceedings

International Workshop on Algorithmic Learning Theory, 渡辺, 治(1958-), 横森, 貴

Springer
2 図書 Theory and applications of satisfiability testing : 8th International Conference, SAT 2005 St Andrews, UK, June 19-23, 2005 : proceedings

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

Springer
8 図書 Frontiers of Combining Systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings

International Workshop on Frontiers of Combining Systems, Armando, Alessandro

Springer-Verlag
3 電子ブック Theory and Applications of Satisfiability Testing

SAT 2003, Giunchiglia, Enrico, Tacchella, Armando

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
9 図書 Algorithmic learning theory : 8th international workshop, ALT '97, Sendai, Japan, October 6-8, 1997 : proceedings

International Workshop on Algorithmic Learning Theory, Li, Ming, 丸岡, 章

Springer
4 図書 Handbook of satisfiability

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

IOS Press
10 電子ブック Theory and Applications of Satisfiability Testing ? SAT 2013

Jarvisalo, Matti; Gelder, Allen

Springer eBooks Computer Science, Springer Berlin Heidelberg
5 図書 Computer algebra and geometric algebra with applications : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, …

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

Springer
11 電子ブック Theory and Applications of Satisfiability Testing - SAT 2006

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

Springer eBooks Computer Science, Springer Berlin / Heidelberg
6 図書 Algorithmic learning theory : 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004 : proceedings

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

Springer
12 電子ブック Theory and Applications of Satisfiability Testing ? SAT 2008

Kleine B?ning, Hans, Zhao, Xishun

Springer eBooks Computer Science, Springer Berlin Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12