Explore: Démonstration Automatique

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

Learn more about Démonstration Automatique with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “d%C3%A9monstration-automatique”:


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:


    6Rewriting Techniques and Applications

    By

    Book's cover

    “Rewriting Techniques and Applications” Metadata:

    • Title: ➤  Rewriting Techniques and Applications
    • Author:
    • Language: English
    • Number of Pages: Median: 441
    • Publisher: Springer-Verlag - Springer
    • Publish Date:
    • Publish Location: New York - Berlin

    “Rewriting Techniques and Applications” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1985
    • 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 Rewriting Techniques and Applications at online marketplaces:


      7Automated 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:


        8From 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:


          9Automated 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:


            10Compositionality, 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:


              11Symbolic 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:


              12Automated 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:


                136th 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:


                  14Correct 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:


                    159th 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:


                    16The 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