@techreport{weko_28306_1, author = "山田,輝彦 and 中村,芳行", title = "述語論理を用いた組合せ回路の故障診断手法", year = "1989", institution = "明治大学理工学部情報科学科, 明治大学理工学部情報科学科", number = "56(1989-SLDM-048)", month = "jul" }