著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
ISHIGURO Yoshihiro and AFFELDT Reynald,The Radon-Nikodým Theorem and the Lebesgue-Stieltjes Measure in Coq,コンピュータ ソフトウェア,02896540,日本ソフトウェア科学会,2024-04-23,41,2,2_41-2_59,https://cir.nii.ac.jp/crid/1390582230720324608,https://doi.org/10.11309/jssst.41.2_41