Voir la notice de l'article provenant de la source Numdam
@article{ASCFM_1976__60_13_31_0,
author = {Aiello, Luigia and Aiello, Mario and Attardi, Giuseppe and Prini, Gianfranco},
title = {Informal proofs formally checked by machine},
journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
pages = {31--53},
publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
volume = {60},
number = {13},
year = {1976},
mrnumber = {468369},
zbl = {0352.68110},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ASCFM_1976__60_13_31_0/}
}
TY - JOUR AU - Aiello, Luigia AU - Aiello, Mario AU - Attardi, Giuseppe AU - Prini, Gianfranco TI - Informal proofs formally checked by machine JO - Annales scientifiques de l'Université de Clermont. Mathématiques PY - 1976 SP - 31 EP - 53 VL - 60 IS - 13 PB - UER de Sciences exactes et naturelles de l'Université de Clermont UR - http://geodesic.mathdoc.fr/item/ASCFM_1976__60_13_31_0/ LA - en ID - ASCFM_1976__60_13_31_0 ER -
%0 Journal Article %A Aiello, Luigia %A Aiello, Mario %A Attardi, Giuseppe %A Prini, Gianfranco %T Informal proofs formally checked by machine %J Annales scientifiques de l'Université de Clermont. Mathématiques %D 1976 %P 31-53 %V 60 %N 13 %I UER de Sciences exactes et naturelles de l'Université de Clermont %U http://geodesic.mathdoc.fr/item/ASCFM_1976__60_13_31_0/ %G en %F ASCFM_1976__60_13_31_0
Aiello, Luigia; Aiello, Mario; Attardi, Giuseppe; Prini, Gianfranco. Informal proofs formally checked by machine. Annales scientifiques de l'Université de Clermont. Mathématiques, Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975), Tome 60 (1976) no. 13, pp. 31-53. http://geodesic.mathdoc.fr/item/ASCFM_1976__60_13_31_0/