First-Class Contexts in ML
Kyoto University (京都大学) === 0048 === 新制・課程博士 === 博士(理学) === 甲第7627号 === 理博第2012号 === 新制||理||1081(附属図書館) === UT51-99-G221 === 京都大学大学院理学研究科数学・数理解析専攻 === (主査)助教授 大堀 淳, 教授 髙橋 陽一郎, 教授 中島 玲二 === 学位規則第4条第1項該当...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | English |
Published: |
京都大学 (Kyoto University)
2014
|
Subjects: | |
Online Access: | http://hdl.handle.net/2433/181935 |