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

Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings / Richard J. Boulton, Paul B. Jackson (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2001
形態:
x, 393 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2152 <BA00009279>
著者名:
ISBN:
9783540425250 [354042525X]
書誌ID:
BA53566116
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Theorem Proving in Higher Order Logics

TPHOLs 2001, Boulton, Richard J., Jackson, Paul B.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles

Springer
2 図書 Theorem proving in higher order logics : 16 International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

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

Springer
8 図書 Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings

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

Springer
3 図書 Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings (: gw)

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

Springer-Verlag
9 図書 Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings (: gw ; : us)

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

Springer-Verlag
4 図書 Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings

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

Springer
10 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and …

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

North-Holland
5 図書 Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

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

Springer
11 図書 Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings (: gw ; : us)

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

Springer-Verlag
6 図書 Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings

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

Springer
12 図書 Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

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