page principale
page principale
david renault - home page
available modes
home page
research
teaching
programs
personal
general links
search engine
labri
library
présentation
fonction actuelle :
maître de conférences à l'enseirb depuis septembre 2005.
chercheur au labri sur les thèmes des graphes,
de la logique et des groupes.
equipe principale :
méthodes formelles
thème principal :
logique, graphes et langages
tempus fugit.
cette page oueb ainsi que sa
feuille de style ont été validées
par le service de validation
du w3c, ce qui ne lui confère pas
automatiquement une qualité de style ou de contenu, ces derniers
n'étant pour autant que je sache pas simples à décrire à l'aide d'un
procédé automatique simple. l'auteur est néanmoins parfaitement
conscient du fait qu'écrire des bas de pages aussi petits est
criminel et tient à vous prévenir que vous vous faites mal aux yeux
en les lisant.
date de dernière modification :
18 septembre 2007
en cas de problème :
page principale Précédent 81 Précédent 80 Précédent 79 Précédent 78 Précédent 77 Précédent 76 Précédent 75 Précédent 74 Précédent 73 Précédent 72 Précédent 71 Précédent 70 Précédent 69 Précédent 68 Précédent 67 Précédent 66 Précédent 65 Précédent 64 Précédent 63 Précédent 62 Précédent 61 Précédent 60 Précédent 59 Précédent 58 Précédent 57 Précédent 56 Précédent 55 Précédent 54 Précédent 53 Précédent 52 Suivant 83 Suivant 84 Suivant 85 Suivant 86 Suivant 87 Suivant 88 Suivant 89 Suivant 90 Suivant 91 Suivant 92 Suivant 93 Suivant 94 Suivant 95 Suivant 96 Suivant 97 Suivant 98 Suivant 99 Suivant 100 Suivant 101 Suivant 102 Suivant 103 Suivant 104 Suivant 105 Suivant 106 Suivant 107 Suivant 108 Suivant 109 Suivant 110 Suivant 111 Suivant 112