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

Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings / Robert Nieuwenhuis (ed.)

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

類似資料:

1 図書 Generative programming and component engineering : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005 : proceedings

ACM SIGPLAN/SIGSOFT International Conference on Generative Programming and Component Engineering, Glück, R. (Robert), …

Springer
7 図書 Web engineering : 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005 : proceedings

ICWE, Lowe, David, Gaedke, Martin

Springer
2 電子ブック Automated Deduction ? CADE-20

International Conference on Automated Deduction, Kanade, Takeo, Nieuwenhuis, Robert

Springer eBooks Computer Science, Springer Berlin / Heidelberg
8 図書 Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings

International Conference on Automated Deduction, McAllester, David A.

Springer
3 電子ブック Automated Deduction – CADE-20

International Conference on Automated Deduction, Kanade, Takeo, Nieuwenhuis, Robert, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
9 図書 Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

International Conference on Automated Deduction, Ganzinger, Harald, 1950-

Springer
4 図書 Image and video retrieval : 4th International Conference, CIVR 2005, Singapore, July 20-22, 2005 : proceedings

Leow, Wee-Kheng, 1961-, Lew, Micael S., Chua, T. S. (Tat-Seng), 1955-, Ma, Wei-Ying, Chaisorn, Lekha, Bakker, Erwin M., …

Springer
10 図書 Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings (: pbk)

International Conference on Automated Deduction, Kirchner, Claude, Kirchner, Hélène

Springer
5 図書 Automated deduction -- CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

International Conference on Automated Deduction, Voronkov, A. (Andreĭ), 1959-

Springer
11 図書 Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings

International Conference on Automated Deduction, McCune, W. (William)

Springer
6 図書 Audio- and video-based biometric person authentication : 5th International Conference, AVBPA 2005, Hilton Rye Town, NY, USA, July 20-22, 2005 : proceedings

AVBPA, 金出, 武雄(1945-), Jain, Anil K., 1948-, Ratha, Nalini K. (Nalini Kanta)

Springer
12 図書 Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

International Conference on Automated Deduction, McRobbie, M. A. (Michael A.), Slaney, John K.

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