bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Risultato della ricerca di Simpson, Carlos

Questa è pagina 1 di 1 pagine, e mostra le referenze da 1 a 1 delle 1 referenze trovate
Ordina per
Maggesi, Marco and Simpson, Carlos:
Verifica automatica del ragionamento matematico
Bollettino dell'Unione Matematica Italiana Serie 8 9-A (2006) —La Matematica nella Società e nella Cultura, p. 361-389 (Italian)
referenza completa, pdf (3.19 MB), djvu (320 Kb). | MR2309896 | Zbl 1195.03018

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