VSL 2014: VIENNA SUMMER OF LOGIC 2014
Giuseppe Pirrò
Organization: Institute for High Performance Computing and Networking (ICAR-CNR)
Web site: http://gpirro.eu
Pages in this Program
KR on Tuesday, July 22nd, 2014
KR Program
Program
Program for Tuesday, July 22nd, 2014