>> Google Books

The Seventeen Provers of the World / Freek Wiedijk, Takeo Kanade

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin / Heidelberg, 2006
著者名:
ISBN:
9783540307044 [3540307044]
9783540328889 [3540328882]
書誌ID:
OB00354697
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック The Seventeen Provers of the World

Wiedijk, Freek, Kanade, Takeo, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
7 電子ブック Intelligent Computer Mathematics

Autexier, Serge, Campbell, John, Rubio, Julio, Siekmann, Jörg, Sorge, Volker, Suzuki, Masakazu, Wiedijk, Freek

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 The Seventeen provers of the world

Wiedijk, Freek, Scott, Dana S.

Springer
8 電子ブック RoboCup 2011: Robot Soccer World Cup XV

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Interactive Theorem Proving

Eekelen, Marko, Geuvers, Herman, Kanade, Takeo, Schmaltz, Julien, Wiedijk, Freek

Springer eBooks Computer Science, Springer Berlin Heidelberg
9 電子ブック Managing Knowledge in a World of Networks

Staab, Steffen, Kanade, Takeo, Kittler, Josef, Svatek, Vojtech

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Interactive Theorem Proving

Eekelen, Marko, Geuvers, Herman, Kanade, Takeo, Schmaltz, Julien, Wiedijk, Freek

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
10 電子ブック Engineering Societies in the Agents World VI

Dikenelli, O?�uz, Gleizes, Marie-Pierre, Kanade, Takeo, Ricci, Alessandro

Springer eBooks Computer Science, Springer Berlin / Heidelberg
5 電子ブック Managing Knowledge in a World of Networks

Staab, Steffen, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
11 電子ブック Engineering Societies in the Agents World IX

Artikis, Alexander, Kanade, Takeo, Picard, Gauthier, Vercouter, Laurent

Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Intelligent Computer Mathematics

Autexier, Serge, Campbell, John, Rubio, Julio, Siekmann, J?rg, Sorge, Volker, Suzuki, Masakazu, Wiedijk, Freek

Springer eBooks Computer Science, Springer Berlin Heidelberg
12 電子ブック Engineering Societies in the Agents World X

Aldewereld, Huib, Dignum, Virginia, Kanade, Takeo, Picard, Gauthier

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