Fragments de l'arithmétique dans une combinaison de procédures de décision.

par Diego Caminha barbosa de oliveira

Thèse de doctorat en Informatique

La soutenance a eu lieu le 14-03-2011

Le document qui a justifié la délivrance du diplôme est en cours de traitement par la bibliothèque de l'établissement de soutenance.

Sous la direction de Stephan Merz et de Pascal Fontaine.

Thèses en préparation à l'Université de Lorraine , dans le cadre de Informatique, Automatique, Electronique-Electrotechnique, Mathématiques , en partenariat avec Laboratoire lorrain de Recherche en Informatique et ses Applications (equipe de recherche) et de UNIVERSITE DE LORRAINE (Etablissement d'accueil) depuis le 07-01-2008 .

mots clés

• Sciences et technologies de l'information et de la communication

Pas de résumé en français disponible.

Pas de résumé disponible.