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

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

責任表示	David Basin, Burkhart Wolff (eds.)
シリーズ	Lecture notes in computer science ; 2758
データ種別	図書
出版情報	Berlin ; Tokyo : Springer , c2003
本文言語	英語
大きさ	x, 366 p. : ill. ; 24 cm
概要	This book constitutes the refereed proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003, held in Rome, Italy in September 2003. The 24 revised full...papers presented together with an invited paper were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on hardware and Assembler languages, proof automation, fool combination, logic extensions, theorem prover technology, mathematical theories, and security. Among the theorem proving systems discussed are HOL, Coq, MetaPRL, and Isabelle/Isar. 続きを見る
電子版へのリンク	https://hdl.handle.net/2324/7006739

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図自動書庫	408/L 49	2003		061232004002831		予約・取寄		出庫可能	予約・取寄		出庫可能

別書名	表紙タイトル:Theorem proving in higher order logics : 16th International Conference, TPHOLs 2003, Rome, Italy, September 2003 : proceedings
一般注記	Includes bibliographical references and index
著者標目	*International Conference on Theorem Proving in Higher Order Logics (16th : 2003 : Rome, Italy) Basin, David Wolff, Burkhart, 1962-
件　名	LCSH:Automatic theorem proving -- Congresses 全ての件名で検索
書誌ID	1001073287
ISBN	3540406646
NCID	BA63467187
巻冊次	ISBN:3540406646
登録日	2009.09.17
更新日	2017.02.18