VSL 2014: VIENNA SUMMER OF LOGIC 2014
Daniele Nardi
Organization: University of Rome "La Sapienza"
Pages in this Program
KR Program Committee