Résultats de la recherche

Aller à la navigation Aller à la recherche

  • ANR PML
    Participants: Pierre Hyvernat, Alexandre Miquel, Tom Hirschowitz ...nctional languages. At ENS Lyon, which is very near to Chambéry, Alexandre Miquel is a specialist of consistency proof for logical framework. Therefore, Cham
    69 kio (10 830 mots) - 13 janvier 2011 à 11:35
Récupérée de « http://os-vps418.infomaniak.ch:1250/mediawiki/index.php/Spécial:Recherche »