Explore: Theorem Proving

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

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

Topic Search

Search for any topic

AI-Generated Overview About “theorem-proving”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1New double-byte error-correcting codes for memory systems

By

“New double-byte error-correcting codes for memory systems” Metadata:

  • Title: ➤  New double-byte error-correcting codes for memory systems
  • Author:
  • Language: English
  • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor
  • Publish Date:
  • Publish Location: ➤  [Washington, DC - Springfield, Va

“New double-byte error-correcting codes for memory systems” Subjects and Themes:

Edition Identifiers:

Access and General Info:

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

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 New double-byte error-correcting codes for memory systems at online marketplaces:


    2"Optimum" upwind advection on a triangular mesh

    By

    “"Optimum" upwind advection on a triangular mesh” Metadata:

    • Title: ➤  "Optimum" upwind advection on a triangular mesh
    • Author:
    • Language: English
    • Publisher: ➤  Institute for Computer Applications in Science and Engineering, NASA Langley Research Center - National Technical Information Service, distributor
    • Publish Date:
    • Publish Location: Hampton, VA - [Springfield, Va

    “"Optimum" upwind advection on a triangular mesh” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

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

    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 "Optimum" upwind advection on a triangular mesh at online marketplaces:


      3Design and application of strategies/tactics in higher order logics

      By

      “Design and application of strategies/tactics in higher order logics” Metadata:

      • Title: ➤  Design and application of strategies/tactics in higher order logics
      • Authors:
      • Language: English
      • Number of Pages: Median: 107
      • Publisher: ➤  National Aeronautics and Space Administration, Langley Research Center
      • Publish Date:
      • Publish Location: Hampton, Virginia

      “Design and application of strategies/tactics in higher order logics” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 2003
      • Is Full Text Available: No
      • Is The Book Public: No
      • Access Status: No_ebook

      Online Marketplaces

      Find Design and application of strategies/tactics in higher order logics at online marketplaces:


      4Exploiting structure

      By

      “Exploiting structure” Metadata:

      • Title: Exploiting structure
      • Author:
      • Language: English
      • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration
      • Publish Date:
      • Publish Location: ➤  Springfield, Va - [Washington, DC

      “Exploiting structure” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 1994
      • Is Full Text Available: No
      • Is The Book Public: No
      • Access Status: No_ebook

      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 Exploiting structure at online marketplaces:


        5Generating test templates via automated theorem proving

        By

        “Generating test templates via automated theorem proving” Metadata:

        • Title: ➤  Generating test templates via automated theorem proving
        • Author:
        • Language: English
        • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration
        • Publish Date:
        • Publish Location: ➤  Springfield, Va - [Washington, DC

        “Generating test templates via automated theorem proving” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

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

        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 Generating test templates via automated theorem proving at online marketplaces:


          6Interpreter composition issues in the formal verification of a processor-memory module

          By

          “Interpreter composition issues in the formal verification of a processor-memory module” Metadata:

          • Title: ➤  Interpreter composition issues in the formal verification of a processor-memory module
          • Author:
          • Language: English
          • Publisher: ➤  National Aeronautics and Space Administration, Langley Research Center - National Technical Information Service, distributor
          • Publish Date:
          • Publish Location: Hampton, Va - [Springfield, Va

          “Interpreter composition issues in the formal verification of a processor-memory module” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

          • First Year Published: 1994
          • Is Full Text Available: No
          • Is The Book Public: No
          • Access Status: No_ebook

          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 Interpreter composition issues in the formal verification of a processor-memory module at online marketplaces:


            76th Conference on Automated Deduction, New York, USA, June 7-9, 1982

            By

            Book's cover

            “6th Conference on Automated Deduction, New York, USA, June 7-9, 1982” Metadata:

            • Title: ➤  6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
            • Author: ➤  
            • Language: English
            • Number of Pages: Median: 389
            • Publisher: Springer-Verlag
            • Publish Date:
            • Publish Location: Berlin - New York

            “6th Conference on Automated Deduction, New York, USA, June 7-9, 1982” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 1982
            • Is Full Text Available: No
            • Is The Book Public: No
            • Access Status: Unclassified

            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 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 at online marketplaces:


              Top of Page