Pubblicazioni

Padovani, Luca; S., Zacchiroli, From Notation to Semantics: There and Back Again, in: Proceedings of the 5th international conference on mathematical knowledge management (MKM’06), DEU, Springer, 2006, LNAI 4108, pp. 194 - 207 (atti di: Mathematical Knowledge Management 2006, Wokingham, August 11-12, 2006) [Contributo in Atti di convegno]