2006年4月 数理と芸術 : 記号処理と論駁可能性について 日本数式処理学会誌 数式処理 桐生裕介, 長坂耕作, 高橋正 巻 13 号 1 開始ページ 47 終了ページ 50 記述言語 日本語 掲載種別 記事・総説・解説・論説等（国際会議プロシーディングズ） エクスポート BibTeX RIS
