Ecole de printemps d'informatique théorique
Biographie
Contributions de Ecole de printemps d'informatique théorique
-
Logique et informatique, une introductionEcole de printemps d'informatique théoriqueInstitut national de recherche en informatique et en automatique