@techreport{weko_28607_1, author = "水原登 and 伊藤誠", title = "論理装置設計自動化に関する研究", year = "1974", institution = "山梨大学 工学部, 山梨大学 工学部", number = "14(1973-SLDM-012)", month = "feb" }