Article Review: M. Kerber, C. Lange, C. Rowat, “An introduction to mechanized reasoning”, J. Math. Econom. 66 (2016), 26-39. Review published in Mathematical Reviews (MathSciNet) / Di Caprio, D.. - (2017).
Article Review: M. Kerber, C. Lange, C. Rowat, “An introduction to mechanized reasoning”, J. Math. Econom. 66 (2016), 26-39. Review published in Mathematical Reviews (MathSciNet)
Di Caprio D.
2017-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
3552677-2017-Kerber-database.pdf
Solo gestori archivio
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
172.56 kB
Formato
Adobe PDF
|
172.56 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione