VSL 2014: VIENNA SUMMER OF LOGIC 2014
Bruno Zanuttini
Organization: GREYC, Université de Caen Basse-Normandie, CNRS UMR 6072, ENSICAEN
Web site: https://zanuttini.users.greyc.fr
Pages in this Program
CSPSAT on Friday, July 18th, 2014
CSPSAT Program
KR Program Committee
Program
Program for Friday, July 18th, 2014