名古屋大学附属図書館




1

代数系、論理、言語と計算機科学

京都大学数理解析研究所, 2016.11. -- (数理解析研究所講究録 ; 2008).