Top 1200 verona italy PDF Book Page 41

book image

Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

Luigi Acerbi, Alberto Dennunzio, Enrico Formenti (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)
·843 Pages
·2007
·7.695 MB

book image

Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

Rosaria Conte, Giulia Andrighetto, Daniel Villatoro (auth.), Guido Governatori, Giovanni Sartor (eds.)
·331 Pages
·2010
·3.085 MB

book image

Computational Topology in Image Context: 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings

Loïc Mazo (auth.), Massimo Ferri, Patrizio Frosini, Claudia Landi, Andrea Cerri, Barbara Di Fabio (eds.)
·165 Pages
·2012
·8.589 MB

book image

Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

Paul Klint, Atze van der Ploeg (auth.), Kostis Sagonas (eds.)
·273 Pages
·2013
·6.075 MB

1
404142
50