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

Referente esterno
Data pubblicazione
9 dicembre 2008

Offerta formativa

Condividi