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

Web Site CiNii 所蔵館 19館

書誌事項

タイトル
"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
出版者
  • North-Holland
出版年月
  • 1993
書籍サイズ
23 cm

この図書・雑誌をさがす

注記

Includes bibliographical references

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ