VSL 2014: VIENNA SUMMER OF LOGIC 2014
Michael Thielscher
Organization: The University of New South Wales
Web site: http://www.cse.unsw.edu.au/~mit/
Pages in this Program
KR on Wednesday, July 23rd, 2014
KR Program
KR Program Committee
Program
Program for Wednesday, July 23rd, 2014