Review on the state of art about computer theorem proving and mechanized mathematics.
Information technology implications for mathematics: a view from the French riviera / Marco, Maggesi; Carlos, Simpson. - ELETTRONICO. - (2004), pp. 1-38.
Information technology implications for mathematics: a view from the French riviera
Marco Maggesi;
2004
Abstract
Review on the state of art about computer theorem proving and mechanized mathematics.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
itmath8.pdf
accesso aperto
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Tutti i diritti riservati
Dimensione
211.9 kB
Formato
Adobe PDF
|
211.9 kB | Adobe PDF |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.