The Future of Formalised Mathematics

• Lawrence C. Paulson ^[1]
  1. [1] University of Cambridge

     University of Cambridge

     Cambridge District, Reino Unido

     
• Localización: XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 / coord. por Jónathan Heras Vicente, Ana Romero Ibáñez, 2016, ISBN 978-84-608-9024-9, págs. 17-18
• Idioma: inglés
• Enlaces
  • Texto Completo Libro (pdf)