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






© 2002 - 2021  Universit√† degli studi di Verona
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234