INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo

First Page		Document Content
Date: 2010-06-15 17:48:13 Apache Subversion Git Proof assistant Debian Matita Software Free software Trac		INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo Add to Reading List Source URL: cerco.cs.unibo.it Download Document from Source Website File Size: 308,39 KB Share Document on Facebook

	Matita Tutorial ANDREA ASPERTI DISI: Dipartimento di Informatica, Universit`a degli Studi di Bologna and WILMER RICCIOTTI IRIT, Universit´e de Toulouse DocID: 1tHPg - View Document
	doi:j.entcs DocID: 1sc75 - View Document
	Efficient Ambiguous Parsing of Mathematical Formulae? Claudio Sacerdoti Coen and Stefano Zacchiroli Department of Computer Science University of Bologna Mura Anteo Zamboni 7, 40127 Bologna, ITALY DocID: 1rVg4 - View Document
	From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino DocID: 1qY5Z - View Document