Showing 1 - 19 results of 19 for search '"mathematical theorem"', query time: 0.28s Refine Results
  1. 1
    The Seventeen Provers of the World : Foreword by Dana S. Scott /
    Published 2006

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  2. 2
    Model Generation for Natural Language Interpretation and Analysis /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  3. 3
    Mathematical Knowledge Management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings /
    Published 2004
    Table of Contents: “... Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics -- Theorem Proving...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  4. 4
    Analog Circuit Simulators for Integrated Circuit Designers : Numerical Recipes in Python /
    by Sahrling, Mikael, Sahrling, Mikael
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  5. 5
    Theorems of the 21st Century : Volume I /
    by Grechuk, Bogdan, Grechuk, Bogdan
    Published 2019

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  6. 6
    Tutorials in Mathematical Biosciences IV : Evolution and Ecology /
    Published 2008

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  7. 7
    Theoremus : A Student's Guide to Mathematical Proofs /
    by Cruz, Lito Perez, Cruz, Lito Perez
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  8. 8
    Tauberian Theory of Wave Fronts in Linear Hereditary Elasticity /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  9. 9
    Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker /
    by Schreiner, Wolfgang
    Published 2023

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  10. 10
    Why Prove it Again? Alternative Proofs in Mathematical Practice /
    by Dawson, John W., Jr
    Published 2015

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  11. 11
    Can Mathematics Be Proved Consistent? : Go��del's Shorthand Notes & Lectures on Incompleteness /
    by von Plato, Jan, von Plato, Jan
    Published 2020

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  12. 12
    Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness /
    by von Plato, Jan, von Plato, Jan
    Published 2020

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  13. 13
    Anomaly Detection in Random Heterogeneous Media Feynman-Kac Formulae, Stochastic Homogenization and Statistical Inversion /
    by Simon, Martin
    Published 2015

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  14. 14
    Materials Interaction with Femtosecond Lasers : Theory and Ultra-Large-Scale Simulations of Thermal and Nonthermal Pheomena /
    by Bauerhenne, Bernd
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  15. 15
    Cognitive Security : A System-Scientific Approach /
    by Huang, Linan, Zhu, Quanyan
    Published 2023

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  16. 16
    Mathematical Aspects of Paradoxes in Cosmology : Can Mathematics Explain the Contemporary Cosmological Crisis? /
    by Křížek, Michal, Somer, Lawrence
    Published 2023

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  17. 17
    Reverse Mathematics : Problems, Reductions, and Proofs /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  18. 18
    Axiom of choice /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  19. 19
    Principles of Quantum Mechanics /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
Search Tools: Get RSS Feed — Email this Search