Textes présentés aux journées logique et programmation
Claude Pair
IRIA, Institut de recherche d'Informatique et d'Automatique,
Textes présentés aux journées logique et programmation, Le Bischenberg, 19 et 20 Novembre 1975
Un rapport d'une soixantaine de pages
http://archives.ahp-numerique.fr/textes-presentes-aux-journees-logique-et-programmation
CP242
http://archives.ahp-numerique.fr/archives-henri-poincare
Archives Henri-Poincaré