%0 Journal Article
%A de Giovanni, Francesco
%A Landolfi, Tommaso
%T Le dimostrazioni di teoremi fondate sull’uso di calcolatori
%J Bollettino della Unione matematica italiana
%D 1999
%P 69-81
%V 2A
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1_a6/
%G it
%F BUMI_1999_8_2A_1_a6