CSL18: COMPUTER SCIENCE LOGIC 2018
Kazushige Terui
Organization: Kyoto University
Web page: http://www.kurims.kyoto-u.ac.jp/~terui/
Pages in this Program
Program
Program for Wednesday, September 5th