Explore: Theoremes
Discover books, insights, and more — all in one place.
Learn more about Theoremes with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “theoremes”:
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.