著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience and Stavridou, V. and Melham, T. F. (Tom F.) and Boute, R. T. (Raymond T.)","Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992",,North-Holland,1992,IFIP transactions,,0444896864,,https://cir.nii.ac.jp/crid/1130000795380368128