---

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
(IFIP transactions ; A . Computer science and technology ; 20)

データ種別	図書
出版者	Amsterdam : New York : North-Holland
出版年	1993
本文言語	英語
大きさ	xiii, 568 p. : ill. ; 23 cm
著者標目	*IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications Claesen, Luc J. M. Gordon, Michael J. C., 1948- Interuniversity Micro-Electronics Center Commission of the European Communities

 類似資料