Sur la demonstration automatique
par Claude Picard.
[Paris?] : Centre National de la Recherche Scientifique : Institut Blaise Pascal, Laboratoire de calcul numérique, 1963.
30 págs. ; 27 cm.
Serie: Logique a l'usage du calculateur ; 4
Bibliografía: p. 29-30.