On the theorem prover PML

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

Referente esterno

Data pubblicazione
9 dicembre 2008

Dipartimento
 

Riassunto

Non pervenuto

ornamento
Inizio pagina