Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings

＜図書＞
Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings

責任表示	Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)
シリーズ	Lecture notes in computer science ; 2410
データ種別	図書
出版情報	Berlin : Springer , c2002
本文言語	英語
大きさ	x, 347 p. : ill. ; 24 cm
概要	This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA, USA in August 2002.The 20 revised full...papers presented together with 2 invited contributions were carefully reviewed and selected from 34 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the HOL theorem proving systems evaluated are Isabelle/HOL, Isabelle/Isar, and Coq. 続きを見る
電子版へのリンク	https://hdl.handle.net/2324/7006433

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

一般注記	Includes bibliographical references and index
著者標目	*International Conference on Theorem Proving in Higher Order Logics (15th : 2002 : Hampton, VA, USA) Carreño, Victor A. Muñoz, César Tahar, Sofiène
件　名	LCSH:Automatic theorem proving -- Congresses 全ての件名で検索
分　類	LCC:QA76.9:A96
書誌ID	1001021437
ISBN	3540440399
NCID	BA58325875
巻冊次	ISBN:3540440399
登録日	2009.09.16
更新日	2017.02.18