Proceedings of the 31st Italian Conference on Computational Logic (CILC 2016), Milano, Italy, June 20-22, 2016.Edited by: Camillo Fiorentini, Alberto MomiglianoSubmitted by: Camillo FiorentiniPublished on CEUR-WS: 18-Jul-2016ONLINE: http://ceur-ws.org/Vol-1645/URN: urn:nbn:de:0074-1645-1ARCHIVE: ftp://SunSITE.Informatik.RWTH-Aachen.DE/pub/publications/CEUR-WS/Vol-1645.zip
HomeSearchAll
Roberta CalegariMatteo CasadeiGiovanni CiattoAngelo CroattiStefano MarianiAmbra MolesiniSara MontagnaAndrea OmiciniMirko Viroli
Home— cloudstags— per year2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013–1999— per dateforthcoming | deadlines
Proceedings of the 31st Italian Conference on Computational Logic (CILC 2016), Milano, Italy, June 20-22, 2016.
Edited by: Camillo Fiorentini, Alberto Momigliano
Submitted by: Camillo Fiorentini
Published on CEUR-WS: 18-Jul-2016
ONLINE: http://ceur-ws.org/Vol-1645/
URN: urn:nbn:de:0074-1645-1
ARCHIVE: ftp://SunSITE.Informatik.RWTH-Aachen.DE/pub/publications/CEUR-WS/Vol-1645.zip