[ English | Japanese ]
Graduate School of Informatics Kyoto University
Curriculum Vitae
Research Interests Workshop on Learning in Logic and Logic for Learning (LLLL, L4)
Publication List
Courses