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

                    Wiki

                    Source: Wikipedia

                    Wikipedia Results

                    Search Results from Wikipedia

                    Aramis (personal rapid transit)

                    down in November 1987, its place taken by the conventional Véhicule Automatique Léger system developed through the same period. Phase 0 of Aramis began

                    LinguaStream

                    developed at the GREYC (French: Groupe de recherche en informatique, image, automatique et instrumentation de Caen) computer science research group (Université

                    Bertrand Serlet

                    worked first at the Institut national de recherche en informatique et en automatique (INRIA) before leaving France for the United States in 1985. He was the

                    CYCLADES

                    government, through the Institut de Recherche en lnformatique et en Automatique (IRIA), the national research laboratory for computer science in France

                    Q-systems

                    David Cattanéo in 2010-11. METEO System "Groupe d'Étude en Traduction Automatique/Traitement Automatisé des Langues et de la Parol" (in French). "LIG"

                    List of defunct automated train systems

                    defunct automated train systems of automation grades from GoA1 to GoA4. Demonstration line originally built for the 1967 World's Fair. Maglev train in West-Berlin

                    UP Diliman Automated Guideway Transit System

                    automated guideway transit (AGT) system constructed for technology demonstration within the campus of the University of the Philippines (UP) in Diliman

                    FN Model 1949

                    rifle Rasheed Carbine Gewehr 43 M1 Garand vz. 52 rifle "Le fusil semi-automatique belge S.A.F.N. 49". Action Armes & Tir (in French). No. 161. December

                    Innovia APM

                    Rubber-tyred metro Competing systems: Cable Liner Crystal Mover Véhicule Automatique Léger (VAL) "Bombardier gets Adtranz for a "bargain".(Brief Article)"

                    M1 Garand

                    the U.S. government in 1950–1964. The M1 was known as the Fusil semi-automatique 7 mm 62 (C. 30) M. 1 (Semi-automatic rifle 7.62mm (calibre .30) M1)  Germany:


                    Top of Page