>> Google Books

Interactive Theorem Proving / David Hutchison, Takeo Kanade

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2012
著者名:
ISBN:
9783642323461 [3642323464]
9783642323478 [3642323472]
書誌ID:
OB00281507
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック Interactive Theorem Proving

Hutchison, David; Kanade, Takeo; Kittler, Josef

Springer eBooks Computer Science, Springer Berlin Heidelberg

Berghofer, Stefan, Kanade, Takeo, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius

Springer eBooks Computer Science, Springer Berlin Heidelberg

2 電子ブック Interactive Theorem Proving

Kaufmann, Matt, Kanade, Takeo, Paulson, Lawrence C.

Springer eBooks Computer Science, Springer Berlin Heidelberg

TPHOLs 2005, Hurd, Joe, Kanade, Takeo, Melham, Tom F.

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

Mohamed, Otmane Ait, Ait Mohamed, Otmane, Kanade, Takeo, Muñoz, César, Muñoz, César A., Tahar, Sofiène

Springer eBooks Computer Science, Springer Berlin Heidelberg

4 電子ブック Interactive Storytelling

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

10 電子ブック Interactive Theorem Proving

Blanchette, Jasmin Christian;Merz, Stephan

Springer eBooks Computer Science, Springer International Publishing

5 電子ブック Interactive Storytelling

Hutchison, David; Kanade, Takeo; Kittler, Josef; Sezen, Digdem ; Catak, Guven

Springer eBooks Computer Science, Springer International Publishing

11 電子ブック Interactive Theorem Proving

Springer eBooks Computer Science, Springer International Publishing

Schneider, Klaus, Brandt, Jens, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

12 電子ブック Interactive Theorem Proving

Springer eBooks Computer Science, Springer International Publishing

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