Explore: Theoremes

Discover books, insights, and more — all in one place.

Learn more about Theoremes with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “theoremes”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Theorem proving in higher order logics

By

Book's cover

“Theorem proving in higher order logics” Metadata:

  • Title: ➤  Theorem proving in higher order logics
  • Authors:
  • Language: English
  • Number of Pages: Median: 359
  • Publisher: ➤  Springer London, Limited - Springer
  • Publish Date:

“Theorem proving in higher order logics” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1999
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Printdisabled

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

    Online Marketplaces

    Find Theorem proving in higher order logics at online marketplaces:


    2Automated deduction in equational logic and cubic curves

    By

    Book's cover

    “Automated deduction in equational logic and cubic curves” Metadata:

    • Title: ➤  Automated deduction in equational logic and cubic curves
    • Author:
    • Language: English
    • Number of Pages: Median: 231
    • Publisher: Springer
    • Publish Date:
    • Publish Location: New York - Berlin

    “Automated deduction in equational logic and cubic curves” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1996
    • Is Full Text Available: Yes
    • Is The Book Public: No
    • Access Status: Printdisabled

    Online Access

    Downloads Are Not Available:

    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

    Online Borrowing:

      Online Marketplaces

      Find Automated deduction in equational logic and cubic curves at online marketplaces:


      3Automated deduction, CADE-15

      By

      Book's cover

      “Automated deduction, CADE-15” Metadata:

      • Title: Automated deduction, CADE-15
      • Author: ➤  
      • Language: English
      • Number of Pages: Median: 441
      • Publisher: Springer
      • Publish Date:
      • Publish Location: New York - Berlin

      “Automated deduction, CADE-15” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 1998
      • Is Full Text Available: Yes
      • Is The Book Public: No
      • Access Status: Printdisabled

      Online Access

      Downloads Are Not Available:

      The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

      Online Borrowing:

        Online Marketplaces

        Find Automated deduction, CADE-15 at online marketplaces:


        4Theorem proving in higher order logics

        By

        Book's cover

        “Theorem proving in higher order logics” Metadata:

        • Title: ➤  Theorem proving in higher order logics
        • Author: ➤  
        • Language: English
        • Number of Pages: Median: 337
        • Publisher: Springer
        • Publish Date:
        • Publish Location: Berlin - New York

        “Theorem proving in higher order logics” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

        • First Year Published: 1997
        • Is Full Text Available: Yes
        • Is The Book Public: No
        • Access Status: Printdisabled

        Online Access

        Downloads Are Not Available:

        The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

        Online Borrowing:

          Online Marketplaces

          Find Theorem proving in higher order logics at online marketplaces:


          5Computational logic and proof theory

          By

          Book's cover

          “Computational logic and proof theory” Metadata:

          • Title: ➤  Computational logic and proof theory
          • Author:
          • Language: English
          • Number of Pages: Median: 348
          • Publisher: Springer
          • Publish Date:

          “Computational logic and proof theory” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

          • First Year Published: 1993
          • Is Full Text Available: Yes
          • Is The Book Public: No
          • Access Status: Printdisabled

          Online Access

          Downloads Are Not Available:

          The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

          Online Borrowing:

            Online Marketplaces

            Find Computational logic and proof theory at online marketplaces:


            6Automated deduction, CADE-11

            By

            Book's cover

            “Automated deduction, CADE-11” Metadata:

            • Title: Automated deduction, CADE-11
            • Author: ➤  
            • Language: English
            • Number of Pages: Median: 793
            • Publisher: Springer-Verlag
            • Publish Date:
            • Publish Location: New York - Berlin

            “Automated deduction, CADE-11” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 1992
            • Is Full Text Available: Yes
            • Is The Book Public: No
            • Access Status: Printdisabled

            Online Access

            Downloads Are Not Available:

            The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

            Online Borrowing:

              Online Marketplaces

              Find Automated deduction, CADE-11 at online marketplaces:


              7Artificial intelligence, automated reasoning, and symbolic computation

              By

              Book's cover

              “Artificial intelligence, automated reasoning, and symbolic computation” Metadata:

              • Title: ➤  Artificial intelligence, automated reasoning, and symbolic computation
              • Author: ➤  
              • Language: English
              • Number of Pages: Median: 341
              • Publisher: Springer
              • Publish Date:
              • Publish Location: Berlin - New York

              “Artificial intelligence, automated reasoning, and symbolic computation” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

              • First Year Published: 2002
              • Is Full Text Available: Yes
              • Is The Book Public: No
              • Access Status: Printdisabled

              Online Access

              Downloads Are Not Available:

              The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

              Online Borrowing:

                Online Marketplaces

                Find Artificial intelligence, automated reasoning, and symbolic computation at online marketplaces:


                8Proceedings

                By

                Book's cover

                “Proceedings” Metadata:

                • Title: Proceedings
                • Author: ➤  
                • Language: English
                • Number of Pages: Median: 688
                • Publisher: Springer-Verlag
                • Publish Date:
                • Publish Location: Berlin - New York

                “Proceedings” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

                • First Year Published: 1990
                • Is Full Text Available: Yes
                • Is The Book Public: No
                • Access Status: Printdisabled

                Online Access

                Downloads Are Not Available:

                The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                Online Borrowing:

                  Online Marketplaces

                  Find Proceedings at online marketplaces: