Il Milione. Viaggio nella logica computazionale in Italia
 |
 |
 |
apice = {ItalianComputationalLogicTechRep08},
booktitle = {Il {M}ilione. Viaggio nella logica computazionale in {I}talia},
editor = {Baldoni, Matteo and Baroglio, Cristina},
institution = {Dipartimento di Informatica, Università degli Studi di Torino},
month = {3~} # jun,
note = {Technical Report 110/08. Essay Dedicated to Alberto Martelli},
number = {110/08},
publisher = {Dipartimento di Informatica, Universit{\`a} degli Studi di Torino},
title = {Il {M}ilione. Viaggio nella logica computazionale in {I}talia},
urlpdf = {http://www.di.unito.it/~argo/papers/2008_IlMilione.pdf},
year = 2008
}