On the theorem prover PML

Non pervenuto

Relatore
Dr Christophe Raffalli - Departement de Mathematique, Universite de Savoie

Data e ora
martedì 9 dicembre 2008 alle ore 16.30 - Caffe' e pasticcini ore 16.15

Referente
Gianluigi Bellin

Data pubblicazione
9 dicembre 2008

Dipartimento
 

Offerta formativa