Seminar
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
|
| Place |
Not inserted. |
|
Contact person
|
Gianluigi
Bellin
|
| Publication date |
December 9, 2008
|
Summary
Non pervenuto
|