Showing 1 - 4 results of 4 for search '"mathematical theorem"', query time: 0.28s Refine Results
  1. 1
    Foundations of mathematics Symposium papers commemorating the sixtieth birthday of Kurt Gödel.
    Published 1969
    Table of Contents: “...The use of symbolic logic in proving mathematical theorems by means of a digital computer /...”

    Book
  2. 2
    Inspiration in science and religion /
    Published 2012

    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, Białowieża, Poland, September 19-21, 2004 : proceedings /
    Published 2004
    Table of Contents: “... Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics -- Theorem Proving...”

    Conference Proceeding Book
  4. 4
    Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings /
    Published 2004
    Table of Contents: “... Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics -- Theorem Proving...”

    Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search