@article{oai:nitech.repo.nii.ac.jp:00001789,
 author = {大芝, 猛 and 永田, 周郎 and 舟橋, 栄},
 journal = {名古屋工業大學學報},
 month = {Mar},
 note = {application/pdf},
 pages = {117--126},
 title = {妥当性検証時の情報を利用する論理式の証明図作成方法},
 volume = {31},
 year = {1980},
 yomi = {オオシバ, タケシ}
}