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://www.numdam.org/item/ASCFM_1976__60_13_31_0/
LA  - en
ID  - ASCFM_1976__60_13_31_0
ER  -