@PHDTHESIS{maill1999, url = "http://www.theses.fr/1999ESAE0021", title = "Modèle logico-algébrique pour la fusion symbolique et l'analyse formelle", author = "Maille, Nicolas", year = "1999", pages = "1 vol. (VIII-242 p.)", note = "Thèse de doctorat dirigée par Chaudron, Laurent Représentation de la connaissance et formalisation du raisonnement École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) 1999", note = "1999ESAE0021", }