Formalisation et automatisation du raisonnement géométrique en Coq / Julien Narboux ; sous la direction de [Hugo Herbelin]

Date :

Editeur / Publisher : [s.l.] : [s.n.] , 2006

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Langue / Language : anglais / English

Catalogue Worldcat

Herbelin, Hugo (Directeur de thèse / thesis advisor)

Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne) (Autre partenaire associé à la thèse / thesis associated third party)

Université Paris-Sud (Organisme de soutenance / degree-grantor)

Relation : Formalisation et automatisation du raisonnement géométrique en Coq / Julien Narboux / Villeurbanne : [CCSD] [diffusion/distribution] , 2006