Explore: Théorèmes

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

Learn more about Théorèmes with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “th%C3%A9or%C3%A8mes”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1ONTIC

By

Book's cover

“ONTIC” Metadata:

  • Title: ONTIC
  • Author:
  • Language: English
  • Number of Pages: Median: 166
  • Publisher: MIT Press - The MIT Press
  • Publish Date:
  • Publish Location: ➤  Cambridge, Massachusetts - Cambridge, Mass

“ONTIC” Subjects and Themes:

Edition Identifiers:

Access and General Info:

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

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


2PX, a computational logic

By

Book's cover

“PX, a computational logic” Metadata:

  • Title: PX, a computational logic
  • Author:
  • Language: English
  • Number of Pages: Median: 200
  • Publisher: MIT Press
  • Publish Date:
  • Publish Location: Cambridge, Mass

“PX, a computational logic” Subjects and Themes:

Edition Identifiers:

Access and General Info:

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

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 PX, a computational logic at online marketplaces:


3Automated reasoning

By

Book's cover

“Automated reasoning” Metadata:

  • Title: Automated reasoning
  • Author:
  • Language: English
  • Number of Pages: Median: 482
  • Publisher: Prentice-Hall
  • Publish Date:
  • Publish Location: Englewood Cliffs, N.J

“Automated reasoning” Subjects and Themes:

Edition Identifiers:

Access and General Info:

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

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


4Symbolic logic and mechanical theorem proving

By

Book's cover

“Symbolic logic and mechanical theorem proving” Metadata:

  • Title: ➤  Symbolic logic and mechanical theorem proving
  • Author:
  • Language: English
  • Number of Pages: Median: 331
  • Publisher: ➤  Elsevier Science & Technology Books - Academic Press
  • Publish Date:
  • Publish Location: Boston - London

“Symbolic logic and mechanical theorem proving” Subjects and Themes:

Edition Identifiers:

Access and General Info:

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

Online Marketplaces

Find Symbolic logic and mechanical theorem proving at online marketplaces:


5Automated Theorem Proving in Software Engineering

By

Book's cover

“Automated Theorem Proving in Software Engineering” Metadata:

  • Title: ➤  Automated Theorem Proving in Software Engineering
  • Author:
  • Language: English
  • Number of Pages: Median: 228
  • Publisher: ➤  Springer Berlin / Heidelberg - Springer - Springer London, Limited
  • Publish Date:

“Automated Theorem Proving in Software Engineering” Subjects and Themes:

Edition Identifiers:

First Setence:

"The amount and complexity of software developed and used has grown tremendously during the past years."

Access and General Info:

  • First Year Published: 2001
  • 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 Automated Theorem Proving in Software Engineering at online marketplaces:


    6Automated Reasoning with Analytic Tableaux and Related Methods

    By

    Book's cover

    “Automated Reasoning with Analytic Tableaux and Related Methods” Metadata:

    • Title: ➤  Automated Reasoning with Analytic Tableaux and Related Methods
    • Author:
    • Language: English
    • Number of Pages: Median: 323
    • Publisher: Springer
    • Publish Date:

    “Automated Reasoning with Analytic Tableaux and Related Methods” 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 Automated Reasoning with Analytic Tableaux and Related Methods at online marketplaces:


      7From logic design to logic programming

      By

      Book's cover

      “From logic design to logic programming” Metadata:

      • Title: ➤  From logic design to logic programming
      • Author:
      • Language: English
      • Number of Pages: Median: 127
      • Publisher: Springer-Verlag - Springer
      • Publish Date:
      • Publish Location: London - Berlin

      “From logic design to logic programming” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 1987
      • 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 From logic design to logic programming at online marketplaces:


        8Automated deduction, CADE-13

        By

        Book's cover

        “Automated deduction, CADE-13” Metadata:

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

        “Automated deduction, CADE-13” 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, CADE-13 at online marketplaces:


          9Compositionality, concurrency, and partial correctness

          By

          Book's cover

          “Compositionality, concurrency, and partial correctness” Metadata:

          • Title: ➤  Compositionality, concurrency, and partial correctness
          • Author:
          • Language: English
          • Number of Pages: Median: 272
          • Publisher: Springer-Verlag
          • Publish Date:
          • Publish Location: New York - Berlin

          “Compositionality, concurrency, and partial correctness” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

          • First Year Published: 1989
          • 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 Compositionality, concurrency, and partial correctness at online marketplaces:


            10Symbolic computation and automated reasoning

            By

            “Symbolic computation and automated reasoning” Metadata:

            • Title: ➤  Symbolic computation and automated reasoning
            • Author: ➤  
            • Language: English
            • Number of Pages: Median: 270
            • Publisher: A K Peters
            • Publish Date:
            • Publish Location: Natick, Mass

            “Symbolic computation and automated reasoning” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

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

            Online Marketplaces

            Find Symbolic computation and automated reasoning at online marketplaces:


            11Automated theorem proving

            By

            Book's cover

            “Automated theorem proving” Metadata:

            • Title: Automated theorem proving
            • Author:
            • Language: English
            • Number of Pages: Median: 288
            • Publish Date:

            “Automated theorem proving” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 1987
            • 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 Automated theorem proving at online marketplaces:


              12Correct system design

              By

              Book's cover

              “Correct system design” Metadata:

              • Title: Correct system design
              • Authors:
              • Language: English
              • Number of Pages: Median: 417
              • Publisher: Springer
              • Publish Date:

              “Correct system design” 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 Correct system design at online marketplaces:


                139th International Conference on Automated Deduction

                By

                Book's cover

                “9th International Conference on Automated Deduction” Metadata:

                • Title: ➤  9th International Conference on Automated Deduction
                • Author: ➤  
                • Language: English
                • Number of Pages: Median: 775
                • Publisher: Springer-Verlag
                • Publish Date:
                • Publish Location: New York - Berlin

                “9th International Conference on Automated Deduction” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

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

                Online Marketplaces

                Find 9th International Conference on Automated Deduction at online marketplaces:


                14The resolution calculus

                By

                Book's cover

                “The resolution calculus” Metadata:

                • Title: The resolution calculus
                • Author:
                • Language: English
                • Number of Pages: Median: 300
                • Publisher: Springer
                • Publish Date:
                • Publish Location: New York - Berlin

                “The resolution calculus” 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 Marketplaces

                Find The resolution calculus at online marketplaces:


                Top of Page