Making simple proofs simpler / P. Codara, O. D'Antona, F. Marigo, C. Monti - In: Mathematica Italia user group meeting 2013 : Atti del ConvegnoArezzo : Adalta, 2013. - ISBN 9788896810033. (( Intervento presentato al 6. convegno Mathematica Italia User Group Meeting tenutosi a Bologna nel 2013.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I metadati presenti in AIR sono rilasciati con licenza CCO mentre i file delle pubblicazioni sono rilasciati con licenza CC BY-SA, salvo diversa indicazione. In caso di violazione di copyright, contattare l'assistenza di AIR
