Nombre de documents trouvés : 2 documents

Théorie des Types et Procédures de Décision Strub P.-Y. Ecole Polytechnique X (02/07/2008), Jean-Pierre Jouannaud (Dir.) [tel-00351837 - version 1]

Formalisation et automatisation du raisonnement géométrique en Coq. Narboux J. Université Paris Sud - Paris XI (26/09/2006), Hugo Herbelin (Dir.) [tel-00118806 - version 1]

L'URL de cette page est : http://tel.archives-ouvertes.fr/lab/logical/