Il Milione. Viaggio nella logica computazionale in Italia
 |
 |
@book{icl-unito08,
Booktitle = {Il {M}ilione. Viaggio nella logica computazionale in {I}talia},
Editor = {Baldoni, Matteo and Baroglio, Cristina},
Month = {3~} # jun,
Note = {Technical Report 110/08. Essay Dedicated to Alberto Martelli},
Pages = {X--88},
urlpdf = {http://www.di.unito.it/~argo/papers/2008_IlMilione.pdf},
Publisher = {Dipartimento di Informatica, Universit{\`a} degli Studi di Torino},
Title = {Il {M}ilione. Viaggio nella logica computazionale in {I}talia},
Year = 2008}
Booktitle = {Il {M}ilione. Viaggio nella logica computazionale in {I}talia},
Editor = {Baldoni, Matteo and Baroglio, Cristina},
Month = {3~} # jun,
Note = {Technical Report 110/08. Essay Dedicated to Alberto Martelli},
Pages = {X--88},
urlpdf = {http://www.di.unito.it/~argo/papers/2008_IlMilione.pdf},
Publisher = {Dipartimento di Informatica, Universit{\`a} degli Studi di Torino},
Title = {Il {M}ilione. Viaggio nella logica computazionale in {I}talia},
Year = 2008}