Geodesic
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 Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'article

@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},
     year = {1976},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {60},
     number = {13},
     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/