VSL 2014: VIENNA SUMMER OF LOGIC 2014
Michael Wessel
Organization: TUHH
Web site: http://www.sts.tu-harburg.de/~mi.wessel
Pages in this Program
KR Program Committee