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.
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 Yves Bertot, Gilles Dowek and Andre Hirschowitz

“Theorem proving in higher order logics” Metadata:
- Title: ➤ Theorem proving in higher order logics
- Authors: Yves BertotGilles DowekAndre Hirschowitz
- Language: English
- Number of Pages: Median: 359
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 1999 - 2003
“Theorem proving in higher order logics” Subjects and Themes:
- Subjects: ➤ Congresses - Automatic theorem proving - Congres - Theoremes - Linguagens formais e automatos - HOL - Kongress - Logica - Automatisches Beweisverfahren - Logica matematica - Demonstration automatique - Automatische bewijsvoering - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL9901511M - OL37149299M
- Online Computer Library Center (OCLC) ID: 42389534
- Library of Congress Control Number (LCCN): 99044586
- All ISBNs: 9783540664635 - 3540482563 - 9783540482567 - 3540664637
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Automated deduction in equational logic and cubic curves
By W. McCune

“Automated deduction in equational logic and cubic curves” Metadata:
- Title: ➤ Automated deduction in equational logic and cubic curves
- Author: W. McCune
- Language: English
- Number of Pages: Median: 231
- Publisher: Springer
- Publish Date: 1996
- Publish Location: New York - Berlin
“Automated deduction in equational logic and cubic curves” Subjects and Themes:
- Subjects: ➤ Algebraic Curves - Automatic theorem proving - Curves, Algebraic - Algebraische Kurve - Gleichungstheorie - Automatische bewijsvoering - Deduktion - Mathematische Logik - Theorie de la Preuve - Automatisches Beweisverfahren - Demonstration automatique - Theoremes - Algebraic Geometry - Computer graphics - Symbolic and mathematical Logic - Computer science - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL988485M
- Online Computer Library Center (OCLC) ID: 35084280
- Library of Congress Control Number (LCCN): 96026660
- All ISBNs: 3540613986 - 9783540613985
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Automated deduction, CADE-15
By International Conference on Automated Deduction (15th 1998 Lindau, Bavaria, Germany)

“Automated deduction, CADE-15” Metadata:
- Title: Automated deduction, CADE-15
- Author: ➤ International Conference on Automated Deduction (15th 1998 Lindau, Bavaria, Germany)
- Language: English
- Number of Pages: Median: 441
- Publisher: Springer
- Publish Date: 1998
- Publish Location: New York - Berlin
“Automated deduction, CADE-15” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Theoremes - Logique symbolique et mathematique - Congres - Demonstration automatique - Automatische bewijsvoering
Edition Identifiers:
- The Open Library ID: OL367942M
- Online Computer Library Center (OCLC) ID: 39380406
- Library of Congress Control Number (LCCN): 98028492
- All ISBNs: 3540646752 - 9783540646754
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Theorem proving in higher order logics
By TPHOLs '97 (1997 Murray Hill, N.J.)

“Theorem proving in higher order logics” Metadata:
- Title: ➤ Theorem proving in higher order logics
- Author: ➤ TPHOLs '97 (1997 Murray Hill, N.J.)
- Language: English
- Number of Pages: Median: 337
- Publisher: Springer
- Publish Date: 1997
- Publish Location: Berlin - New York
“Theorem proving in higher order logics” Subjects and Themes:
- Subjects: ➤ Congresses - Automatic theorem proving - Ciencia da computacao ou informatica - Symbolic and mathematical Logic - Automatische bewijsvoering - Software engineering - Inteligencia artificial (computacao) - Logic design - Logica - Computer science - Congres - Demonstration automatique - Theoremes - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL686340M
- Online Computer Library Center (OCLC) ID: 37361779
- Library of Congress Control Number (LCCN): 97033256
- All ISBNs: 9783540633792 - 3540633790
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Computational logic and proof theory
By Georg Gottlob

“Computational logic and proof theory” Metadata:
- Title: ➤ Computational logic and proof theory
- Author: Georg Gottlob
- Language: English
- Number of Pages: Median: 348
- Publisher: Springer
- Publish Date: 1993
“Computational logic and proof theory” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Theoremes - Theorie de la Preuve - Kunstmatige intelligentie - Logica - Congresses - Logique symbolique et mathematique - Automatic theorem proving - Congres - Demonstration automatique - Computer science - Artificial intelligence - Computer Science - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL12776822M
- All ISBNs: 9783540571841 - 3540571841
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Automated deduction, CADE-11
By International Conference on Automated Deduction (11th 1992 Saratoga Springs, N.Y.)

“Automated deduction, CADE-11” Metadata:
- Title: Automated deduction, CADE-11
- Author: ➤ International Conference on Automated Deduction (11th 1992 Saratoga Springs, N.Y.)
- Language: English
- Number of Pages: Median: 793
- Publisher: Springer-Verlag
- Publish Date: 1992
- Publish Location: New York - Berlin
“Automated deduction, CADE-11” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Congresses - Symbolic and mathematical Logic - Theoremes - Logique symbolique et mathematique - Congres - Logica e semantica de programacao - Demonstration automatique - Automatische bewijsvoering - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL1714178M
- Online Computer Library Center (OCLC) ID: 25873299
- Library of Congress Control Number (LCCN): 92016409
- All ISBNs: 9780387556024 - 9783540556022 - 3540556028 - 0387556028
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Artificial intelligence, automated reasoning, and symbolic computation
By International Conference on Artificial Intelligence and Symbolic Mathematical Computation (6th 2002 Marseille, France)

“Artificial intelligence, automated reasoning, and symbolic computation” Metadata:
- Title: ➤ Artificial intelligence, automated reasoning, and symbolic computation
- Author: ➤ International Conference on Artificial Intelligence and Symbolic Mathematical Computation (6th 2002 Marseille, France)
- Language: English
- Number of Pages: Median: 341
- Publisher: Springer
- Publish Date: 2002
- Publish Location: Berlin - New York
“Artificial intelligence, automated reasoning, and symbolic computation” Subjects and Themes:
- Subjects: ➤ Artificial intelligence - Automatic theorem proving - Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Theoremes - Logique symbolique et mathematique - Congres - Demonstration automatique - Intelligence artificielle - Computer science - Electronic data processing - Computational complexity - Algebra - Data processing
Edition Identifiers:
- The Open Library ID: OL22472569M
- Online Computer Library Center (OCLC) ID: 49991602 - 498155687
- Library of Congress Control Number (LCCN): 2002075471
- All ISBNs: 9783540438656 - 3540438653
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Proceedings
By International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)

“Proceedings” Metadata:
- Title: Proceedings
- Author: ➤ International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)
- Language: English
- Number of Pages: Median: 688
- Publisher: Springer-Verlag
- Publish Date: 1990
- Publish Location: Berlin - New York
“Proceedings” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Congresses - Symbolic and mathematical Logic - Theoremes - Automatisches Beweisverfahren - Logique symbolique et mathematique - Congres - Inteligencia artificial (conmputacʹao) - Demonstration automatique
Edition Identifiers:
- The Open Library ID: OL1857869M
- Online Computer Library Center (OCLC) ID: 508045805 - 22184493
- Library of Congress Control Number (LCCN): 90010125
- All ISBNs: 0387528857 - 9780387528854
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
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)"