Explore: Beweis (mathematik)
Discover books, insights, and more — all in one place.
Learn more about Beweis (mathematik) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “beweis-%28mathematik%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Automated theorem proving
By W. Bibel
“Automated theorem proving” Metadata:
- Title: Automated theorem proving
- Author: W. Bibel
- Language: English
- Number of Pages: Median: 288
- Publish Date: 1987
“Automated theorem proving” Subjects and Themes:
- Subjects: ➤ Démonstration automatique - Théorèmes - Automatisches Beweisverfahren - Automatic theorem proving - Automatentheorie - Beweis (Mathematik) - Mathematics, problems, exercises, etc. - Mathematics, data processing
Edition Identifiers:
- The Open Library ID: OL27019388M
- Online Computer Library Center (OCLC) ID: 861705995
- All ISBNs: 9783528185206 - 3322901025 - 9783322901026 - 3528185201
Author's Alternative Names:
"Wolfgang Bibel"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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Automated Theorem Proving
By W. Bibel
“Automated Theorem Proving” Metadata:
- Title: Automated Theorem Proving
- Author: W. Bibel
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 1982
- Publish Location: Wiesbaden
“Automated Theorem Proving” Subjects and Themes:
- Subjects: Automatentheorie - Automatisches Beweisverfahren - Beweis (Mathematik)
Edition Identifiers:
- The Open Library ID: OL27019386M
- Online Computer Library Center (OCLC) ID: 863972401
- All ISBNs: 9783322901002 - 3322901009
Author's Alternative Names:
"Wolfgang Bibel"Access and General Info:
- First Year Published: 1982
- 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 Automated Theorem Proving at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.