Show Menu
Hide Menu
Le LIP6
À propos
Rayonnement Scientifique
Organigrammes
Organisation
Comité de Direction
Direction Administrative et Financière
Direction de l’Ingénierie Numérique
Conseil scientifique
Conseil de laboratoire
Conseil des doctorants
Enseignements
Localisation & Contact
Recherche
Axes & Équipes
Publications
Projets
Projets ERC
Projets Européens
France 2030
Projets ANR
Rapports d’activité
Valorisation
Nos compétences
Collaborer avec nous
Logiciels
Brevets
Start-ups
Annuaire
Colloquium
🔒
📫
🇫🇷
🇫🇷
🇬🇧
-
Laboratoire d’informatique
Sorbonne Universté
Centre National de la Recherche Scientifique
Annuaire
RIOBOO Renaud
Habilitation à Diriger des Recherches -
CALFOR
https://www.lip6.fr/production/publications-rapport-fiche.php?RECORD_KEY%28rapports%29=id&id(rapports)=220
Programmer le Calcul Formel, de L'Algorithmique a la Sémantique
Soutenance
: 18/12/2002