LIBROS DEL AUTOR: peter schuster helmut s klaus mainzer

2 resultados para LIBROS DEL AUTOR: peter schuster helmut s klaus mainzer

peter schuster helmut s klaus mainzer Eliminar filtro Quitar filtros
  • PROOF AND COMPUTATION II
    MAINZER KLAUS / PETER SCHUSTER & HELMUT S KLAUS MAINZER
    This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proof...
    Disponible

    173,06 €

  • PROOF AND COMPUTATION
    MAINZER KLAUS / PETER SCHUSTER & HELMUT S KLAUS MAINZER
    This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathemati...
    Disponible

    127,93 €