FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Marcello Balduccini
Organization: Saint Joseph's University
Web page: http://www.mbal.tk
Pages in this Program
ICLP on Monday, July 16th
ICLP Program
Program
Program for Monday, July 16th
Slides
Slides