Materias dentro de su búsqueda.
Mostrando 1 - 10 Resultados de 10 Para Buscar '', tiempo de consulta: 0.03s Limitar resultados
  1. 1
    Journal of formalized reasoning
    Publicado 2008
    Seriada digital
  2. 2
    Explanation and proof in mathematics : philosophical and educational perspectives
    Publicado 2010
    Libro electrónico
  3. 3
    Proof theory : sequent calculi and related formalisms
    Publicado 2015
    Libro electrónico
  4. 4
    Proof and proving in mathematics education : the 19th ICMI study
    Publicado 2012
    Libro electrónico
  5. 5
    CPP '16 : proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA
    Publicado 2016
    Libro electrónico
  6. 6
    The Nuts and Bolts of Proofs : An Introduction to Mathematical Proofs
    Publicado 2013
    Libro electrónico
  7. 7
    Statistical learning with sparsity : the lasso and generalizations
    Publicado 2015
    Libro electrónico
  8. 8
    Advanced Mathematical Methods : Theory and Applications
    Publicado 2020
    Libro electrónico
  9. 9
    CPP '18 : proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA
    Publicado 2018
    Libro electrónico
  10. 10
    CPP '17 : proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France
    Publicado 2017
    Libro electrónico

Herramientas de búsqueda: