著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Theorem Proving in Higher Order Logics and Boulton, Richard J. and Jackson, Paul B.","Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings",,Springer,2001,Lecture notes in computer science,,354042525X,,https://cir.nii.ac.jp/crid/1130000796496913536