contents next next slide

Hypertextual Electronic Library of Mathematics

(HELM)


http://www.cs.unibo.it/helm/


Andrea Asperti

<asperti@cs.unibo.it>

Luca Padovani

<luca.padovani@cs.unibo.it>

Claudio Sacerdoti Coen

<sacerdot@cs.unibo.it>

Irene Schena

<schena@cs.unibo.it>