Accueil
Déposer
S'authentifier
S'inscrire
Consulter
Par domaine
Les 30 dernières thèses déposées
Par établissement
Par année de soutenance
Par collection
Rechercher
Recherche simple
Recherche avancée
Accès par identifiant
S'abonner
Manuel
À propos
version française
english version
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/
