VSL 2014: VIENNA SUMMER OF LOGIC 2014
Thomas Ã…gotnes
Organization: University of Bergen
Web site: http://folk.uib.no/nmita/
Pages in this Program
KR Program Committee