bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Risultato della ricerca di Landolfi, Tommaso

Questa è pagina 1 di 1 pagine, e mostra le referenze da 1 a 1 delle 1 referenze trovate
Ordina per
de Giovanni, Francesco and Landolfi, Tommaso:
Le dimostrazioni di teoremi fondate sull’uso di calcolatori
Bollettino dell'Unione Matematica Italiana Serie 8 2-A (1999) —La Matematica nella Società e nella Cultura, p. 69-81 (Italian)
referenza completa, pdf (217 Kb), djvu (157 Kb). | MR1769409 | Zbl 1086.68587

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali