@article{weko_5760_1, author = "田淵,謹也 and 太田,義久 and 宮本,俊介 and 松本,元 and 山田,昭彦", title = "パネル討論会 論理設計自動化の現状と今後の課題", journal = "情報処理", year = "1985", volume = "26", number = "9", month = "sep" }