Author: Alexander Leitsch
Author's info and books
Information about author Alexander Leitsch from several data sources.
AI-generated bio of "Alexander Leitsch":
Books Results
Source: The Open Library
Alexander Leitsch Books
Books writen by author Alexander Leitsch from The Open Library
1The Resolution Calculus
By Alexander Leitsch
“The Resolution Calculus” Metadata:
- Title: The Resolution Calculus
- Author: Alexander Leitsch
- Language: English
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The Resolution Calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Methods of Cut-Elimination
By Alexander Leitsch
“Methods of Cut-Elimination” Metadata:
- Title: Methods of Cut-Elimination
- Author: Alexander Leitsch
- Language: English
Access and General Info:
- First Year Published: 2011
- 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 Methods of Cut-Elimination at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3The resolution calculus
By Alexander Leitsch
“The resolution calculus” Metadata:
- Title: The resolution calculus
- Author: Alexander Leitsch
- Language: English
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Automated reasoning
By Alexander Leitsch and Tobias Nipkow
“Automated reasoning” Metadata:
- Title: Automated reasoning
- Authors: Alexander LeitschTobias Nipkow
- Language: English
Access and General Info:
- First Year Published: 2001
- 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 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Automated Model Building
By Ricardo Caferra, Alexander Leitsch and Nicolas Peltier
“Automated Model Building” Metadata:
- Title: Automated Model Building
- Authors: Ricardo CaferraAlexander LeitschNicolas Peltier
- Language: English
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Automated Model Building at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Computational logic and proof theory
By Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), Georg Gottlob and Alexander Leitsch
“Computational logic and proof theory” Metadata:
- Title: ➤ Computational logic and proof theory
- Authors: ➤ Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)Georg GottlobAlexander Leitsch
- Language: English
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Computational logic and proof theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.