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

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 / organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon

資料種別:
図書
出版情報:
Amsterdam ; New York : North-Holland, 1993
形態:
xiii, 568 p. ; 23 cm
シリーズ名:
IFIP transactions ; A . Computer science and technology ; 20 <BA13962399>
著者名:
ISBN:
9780444898807 [0444898808]
書誌ID:
BA19476349
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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

Springer

IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design, Claesen, Luc J. M., …

North-Holland, Distributed for the U.S. and Canada, Elsevier Science Pub. Co.

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

Springer-Verlag

IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design, Claesen, Luc J. M., …

North-Holland, Distributed in the U.S. and Canada, Elsevier Science Pub. Co.

IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, …

North-Holland

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

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

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

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

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

Springer

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

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