VSL 2014: VIENNA SUMMER OF LOGIC 2014
Ken Satoh
Organization: National Institute of Informatics and Sokendai
Web site: http://research.nii.ac.jp/~ksatoh
Pages in this Program
KR Program Committee
NMR Program Committee