TY  - JOUR
AU  - de Giovanni, Francesco
AU  - Landolfi, Tommaso
TI  - Le dimostrazioni di teoremi fondate sull’uso di calcolatori
JO  - Bollettino della Unione matematica italiana
PY  - 1999
SP  - 69
EP  - 81
VL  - 2A
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1_a6/
LA  - it
ID  - BUMI_1999_8_2A_1_a6
ER  -