Geodesic
Le dimostrazioni di teoremi fondate sull’uso di calcolatori
Bollettino della Unione matematica italiana, Série 8, 2A (1999) no. 1, pp. 69-81

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{BUMI_1999_8_2A_1_a6,
     author = {de Giovanni, Francesco and Landolfi, Tommaso},
     title = {Le dimostrazioni di teoremi fondate sull{\textquoteright}uso di calcolatori},
     journal = {Bollettino della Unione matematica italiana},
     pages = {69--81},
     publisher = {mathdoc},
     volume = {Ser. 8, 2A},
     number = {1},
     year = {1999},
     zbl = {1086.68587},
     mrnumber = {MR1769409},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1_a6/}
}
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  - 
%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
de Giovanni, Francesco; Landolfi, Tommaso. Le dimostrazioni di teoremi fondate sull’uso di calcolatori. Bollettino della Unione matematica italiana, Série 8, 2A (1999) no. 1, pp. 69-81. http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1_a6/