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

2017
U.S.A.
American Mathematical Society
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).
Di Caprio, D.
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/251156
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact