>> Google Books
Introduction to HOL : a theorem proving environment for higher order logic
フォーマット:
図書
責任表示:
edited by M.J.C. Gordon and T.F. Melham
言語:
英語
出版情報:
Cambridge : Cambridge University Press, 1993
形態:
xx, 472 p. ; 23 cm
著者名:
書誌ID:
BA2078819X
ISBN:
9780521441896 [0521441897]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

Melham, T. F. (Tom F.)

Cambridge University Press

Lambek, Joachim, Scott, P. J.

Cambridge University Press

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

North-Holland

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

Springer

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

Springer-Verlag

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

Springer-Verlag

Springer Verlag

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

Springer-Verlag

Springer Verlag

Fitting, Melvin, 1942-

Springer-Verlag

Lambek, Joachim, Scott, P. J.

Cambridge University Press

Gamut, L. T. F.

University of Chicago Press