>> Google Books

Theorem Proving in Higher Order Logics / Otmane Ait Mohamed, Otmane Ait Mohamed, Takeo Kanade, César Muñoz, César A. Muñoz, Sofiène Tahar

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2008
著者名:
Mohamed, Otmane Ait
Ait Mohamed, Otmane
Kanade, Takeo
Muñoz, César
Muñoz, César A.
Tahar, Sofiène
さらに 1 件
ISBN:
9783540710653 [3540710655]
9783540710677 [3540710671]
書誌ID:
OB00279537
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

International Conference on Theorem Proving in Higher Order Logics, Carreño, Victor A., Muñoz, César, Tahar, Sofiène

Springer

Alves-Foss, James, Schubert, E. Thomas, Windley, Phillip J.

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

Schneider, Klaus, Brandt, Jens, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Camilleri, Juanito, Melham, Tom F.

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

9 電子ブック Interactive Theorem Proving

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Springer eBooks Computer Science, Springer Berlin / Heidelberg

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., …

North-Holland

TPHOLs '96, Grundy, Jim, Harrison, John, Wright, Joakim

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

11 電子ブック Interactive Theorem Proving

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

Joyce, Jeffrey J., Seger, Carl-Johan H.

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

12 電子ブック Interactive Theorem Proving

Hutchison, David; Kanade, Takeo; Kittler, Josef

Springer eBooks Computer Science, Springer Berlin Heidelberg

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