On the theorem prover PML

  1. Home
  2. Teaching
  3. Seminars
Speaker:  Dr Christophe Raffalli - Departement de Mathematique, Universite de Savoie
  Tuesday, December 9, 2008 at 4:30 PM Caffe' e pasticcini ore 16.15

Non pervenuto
Programme Director
Gianluigi Bellin
External reference
Publication date
December 9, 2008

Studying

Share