On the theorem prover PML

Relatore:  Dr Christophe Raffalli - Departement de Mathematique, Universite de Savoie
  martedì 9 dicembre 2008 alle ore 16.30 - Caffe' e pasticcini ore 16.15

Non pervenuto


Referente
Gianluigi Bellin

Data pubblicazione
9 dicembre 2008

Offerta formativa