@inproceedings{weko_121574_1, author = "大橋,恭子 and 南,俊明 and 沢村,一 and 大谷,武", title = "論証支援システムEUODHILOSのための構文記述法の改良とパーザの実現", booktitle = "全国大会講演論文集", year = "1992", volume = "第44回", number = "ソフトウェア", pages = "125--126", month = "feb" }