Denis Berthier

Diplôme de l'Ecole Polytechnique. Débuts comme enseignant à l’X puis à l’ENPC, et comme chercheur en logique mathématique. Puis responsable du service d’intelligence artificielle de la Division Simulateurs de Thomson CSF. Actuellement Professeur à l’Institut Mines Télécom. denis-berthier.pagesperso-orange.fr
adresse email envoyer un mail à l'auteur

Renseignements

Titre(s), Diplôme(s) :
Diplômé de l'Ecole Polytechnique, DEA de Mathématiques (Logique)

Institution de travail :
Institut Mines Télécom, 9 rue Charles Fourier,
91011 Evry Cedex, France

Fonction(s) actuelle(s) : Ecrivain(e), Professeur

Pays d'origine : France

Bibliographie

Autres parutions

"THE HIDDEN LOGIC OF SUDOKU", Lulu Publishers, Mai 2007
"THE HIDDEN LOGIC OF SUDOKU (SECOND EDITION)", Lulu Publishers, Décembre 2007
"CONSTRAINT RESOLUTION THEORIES", Lulu Publishers, Novembre 2011
"PATTERN-BASED CONSTRAINT SATISFACTION AND LOGIC PUZZLES", Lulu Publishers, Novembre 2012
"PATTERN-BASED CONSTRAINT SATISFACTION AND LOGIC PUZZLES (SECOND EDITION)", Lulu Publishers, Juillet 2015