Declarative Programming and (Co)Induction Duration: 20 hours Teachers: Davide Ancona – DIBRIS, University of Genova - Elena Zucca - DIBRIS, University of Genova - When: April - Genova - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-01-15 11:17:54		Declarative Programming and (Co)Induction Duration: 20 hours Teachers: Davide Ancona – DIBRIS, University of Genova - Elena Zucca - DIBRIS, University of Genova - When: April Add to Reading List Source URL: phd.dibris.unige.it Download Document from Source Website File Size: 52,28 KB Share Document on Facebook