査読有り 1998年8月 Diagrammatic reasoning with numeral operations ESSLLI'97 Student Session Proceedings Yuko MURAKAMI 記述言語 英語 掲載種別 研究論文（国際会議プロシーディングス） エクスポート BibTeX RIS
