>> 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
他の版・巻

類似資料:

1 図書 Theory and applications of satisfiability testing : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised …

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

Springer
7 図書 Algorithmic learning theory : 16th International Conference, ALT 2005, Singapore, October 8-11, 2005 : proceedings

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

Springer
2 図書 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
8 図書 Algorithmic learning theory : 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedings

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

Springer
3 図書 Handbook of satisfiability

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

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

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

Springer
4 電子ブック Theory and Applications of Satisfiability Testing

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

Springer eBooks Computer Science, Springer Berlin / Heidelberg
10 図書 Algorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998 : proceedings

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

Springer
5 電子ブック Theory and Applications of Satisfiability Testing

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

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
11 電子ブック SAT 2005

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

Springer eBooks Computer Science, Springer Netherlands
6 電子ブック Theory and Applications of Satisfiability Testing – SAT 2017

Gaspers, Walsh, Toby

SpringerLink Books - AutoHoldings, Springer International Publishing
12 電子ブック SAT 2005

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

SpringerLink Books - AutoHoldings, Springer Netherlands
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12