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

Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings / Jim Grundy, Malcolm Newey (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c1998
形態:
viii, 496 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1479 <BA00009279>
著者名:
ISBN:
9783540649878 [3540649875]
書誌ID:
BA37844535
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

International Conference on Theorem Proving in Higher Order Logics, Bertot, Yves

Springer

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

Springer

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

Springer

International Conference on Theorem Proving in Higher Order Logics, Aagaard, Mark, 1966-, Harrison, J. (John), 1966-

Springer

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

North-Holland

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

Springer-Verlag

International Conference on Theorem Proving in Higher Order Logics, Boulton, Richard J., 1967-, Jackson, Paul B., 1962-

Springer

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

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

International Conference on Theorem Proving in Higher Order Logics, Slind, Konrad, Bunker, Annette, Gopalakrishnan, …

Springer

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

Springer-Verlag

International Conference on Theorem Proving in Higher Order Logics, Basin, David, Wolff, Burkhart, 1962-

Springer

International Conference on Theorem Proving in Higher Order Logics, Gunter, Elsa L., Felty, Amy

Springer

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