On the theorem prover PML

Supervisor
Dr Christophe Raffalli - Departement de Mathematique, Universite de Savoie
Date and time
Tuesday, December 9, 2008 at 4:30 PM - Caffe' e pasticcini ore 16.15
Programme Director
Gianluigi Bellin
External reference
Publication date
December 9, 2008
Department
 

Summary

Non pervenuto






© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234