テキスト ( 視覚 ) : 機器不用 クローン理論と離散数学 ; 計算機科学をめぐる代数と論理. -- [京都] : 京都大学数理解析研究所 , 2013.8. -- ii, 128p : 挿図 ; 26cm. -- (数理解析研究所講究録 ; 1846). -- タイトルは表紙による ; RIMS研究集会報告集: クローン理論と離散数学: 2005年6月13日-6月15日, 計算機科学をめぐる代数と論理: 2009年10月22日-10月23日. 研究代表者: 町田元 ; 参考文献: 各論文末. -- (BB13621486) ; https://ci.nii.ac.jp/ncid/BB13621486 別タイトル: Clone theory and discrete mathematics : June 13-15, 2005 ; Algebra and logic related to computer science : October 22-23, 2009. -- 著者標目: 町田, 元 ; 京都大学数理解析研究所