著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Conference for Formal Methods in the Methodology of Empirical Sciences and Przełęcki, Marian and Szaniawski, Klemens and Wójcicki, Ryszard and Molinowski, Grzegorz","Formal methods in the methodology of empirical sciences : proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974",,D. Reidel,1976,Synthese library,,9027706980,,https://cir.nii.ac.jp/crid/1130282272644050432