VSL 2014: VIENNA SUMMER OF LOGIC 2014
Alan Smaill
Organization: The University of Edinburgh
Pages in this Program
Automatheo Program Committee