Foto del docente

Andrea Asperti

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INFO-01/A Informatica

Pubblicazioni

Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio, An Interactive Algebra Course with Formalised Proofs and Definitions, in: Lecture Notes in Computer Science-Lecture Notes in Artificial Intelligence Mathematical Knowledge Management 4th International Conference, MKM 2005, s.l, Springer, 2006, 3863, pp. 315 - 329 (atti di: Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005) [Contributo in Atti di convegno]

A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, A content based mathematical search engine: Whelp, in: Types for Proofs and Programs International Workshop, TYPES 2004, s.l, Springer, 2005, 3839, pp. 17 - 32 (atti di: Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004) [Contributo in Atti di convegno]

A.Asperti; M.Selmi, Efficient Retrieval of Mathematical Statements., in: Mathematical Knowledge Management, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3119, pp. 17 - 31 (atti di: Mathematical Knowledge Management, Bialowieza, Poland, settembre 2004) [Contributo in Atti di convegno]

Coordinamento del progetto: IST-2001-33562 MoWGLI.

A.Asperti; G.Bancerek; A.Trybulec, Mathematical Knowledge Management, BERLIN, Springer, 2004, pp. 1-393 (Lecture Notes in Computer Science). [curatela]

A. Asperti; P.Coppola; S.Martini., (Optimal) duplication is not elementary recursive., «INFORMATION AND COMPUTATION», 2004, 193(1), pp. 21 - 56 [articolo]