On the theorem prover PML

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


Contact person
Gianluigi Bellin

Publication date
December 9, 2008

Studying