Explore: Demonstration Automatique

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

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

Topic Search

Search for any topic

AI-Generated Overview About “demonstration-automatique”:


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:



                  Wiki

                  Source: Wikipedia

                  Wikipedia Results

                  Search Results from Wikipedia

                  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"

                  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

                  Cei-Rigotti

                  M1916 automatic rifle Farquhar-Hill P1918 semi automatic rifle Fusil Automatique Modèle 1917 Johnston and Nelson errouneously mention that it was the

                  M1911 pistol

                  Used as the "Automatic pistol 11.4mm (calibre .45)" (French: Pistolet automatique 11 mm 4 (C.45)) Democratic Republic of Georgia Kingdom of Laos Luxembourg

                  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

                  People mover

                  Industries Rolling Stock Company Mitsubishi Heavy Industry Véhicule Automatique Léger (now part of Siemens Mobility) Hyundai Rotem Hitachi Rail STS Bombardier

                  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

                  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:

                  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)"