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

Theory and applications of satisfiability testing : 8th International Conference, SAT 2005 St Andrews, UK, June 19-23, 2005 : proceedings / Fahiem Bacchus, Toby Walsh (eds.)

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

類似資料:

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

Springer

International Workshop on Algorithmic Learning Theory, Richter, Michael M., 1938-

Springer

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

Springer

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

Springer

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

IOS Press

9 電子ブック SAT 2005

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

Springer eBooks Computer Science, Springer Netherlands

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

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

Springer

Symposium on Combinatorial Pattern Matching, Apostolico, Alberto, 1948-, Crochemore, Maxime, 1947-, Park, Kunsoo

Springer

International Workshop on Algorithmic Learning Theory, Gavaldà, Ricard, Jantke, Klaus P., Takimoto, Eiji

Springer

International Workshop on Algorithmic Learning Theory, Li, Ming, Maruoka, Akira

Springer

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