Next: Combinatoire
Up: Motsautomates et logique
Previous: Preuves et calcul (René
Des Écoles de formation de jeunes chercheurs sont réguliérement
organisées dans ce domaine: École de printemps du LITP,...
Dominique Perrin
Thu May 2 14:25:15 METDST 1996