Utilisation des schématisations de termes en déduction automatique / Hicham Bensaid ; sous la direction de Ricardo Caferra et de Nicolas Peltier

Date :

Editeur / Publisher : , 2011

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Classification Dewey : 004

Caferra, Ricardo (1945-....) (Directeur de thèse / thesis advisor)

Peltier, Nicolas (1972-...) (Directeur de thèse / thesis advisor)

Duval, Dominique (19..-.... ; mathématicienne) (Président du jury de soutenance / praeses)

Université de Grenoble (2009-2014) (Organisme de soutenance / degree-grantor)

École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire d'informatique de Grenoble (Laboratoire associé à la thèse / thesis associated laboratory)