>> Google Books

Higher Order Logic Theorem Proving and Its Applications / James Alves-Foss, E. Thomas Schubert, Phillip J. Windley

資料種別:
電子ブック
出版情報:
SpringerLink Books Lecture Notes In Computer Science Archive
Springer Berlin Heidelberg, 1995
著者名:
ISBN:
9783540602750 [3540602755]
9783540447849 [3540447849]
書誌ID:
OB00287154
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Schubert, Thomas E., …

Springer-Verlag

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

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

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

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

Camilleri, Juanito, Melham, Tom F.

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

Schneider, Klaus, Brandt, Jens, Kanade, Takeo

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

HOL User's Group Workshop, Joyce, Jeffrey J., 1960-, Seger, Carl-Johan H.

Springer-Verlag

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

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Melham, T. F. (Tom …

Springer-Verlag

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

International Conference on Theorem Proving in Higher Order Logics, Wright, J. (Joakim) von, 1955-, Grundy, J. (Jim), …

Springer

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