著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
川邊 達治 and 佐々木 克巳 and KAWABE Tatsuji and SASAKI Katsumi,ε-N論法における変数に代入すべき項の選択方法,アカデミア. 情報理工学編 : 南山大学紀要,21853266,南山大学,2012-03-30,12,,27-44,https://cir.nii.ac.jp/crid/1390009224907178624,https://doi.org/10.15119/00000097