Explore: Raffinement
Discover books, insights, and more — all in one place.
Learn more about Raffinement with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “raffinement”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1The resolution calculus
By Alexander Leitsch
“The resolution calculus” Metadata:
- Title: The resolution calculus
- Author: Alexander Leitsch
- Language: English
- Number of Pages: Median: 300
- Publisher: Springer
- Publish Date: 1997
- Publish Location: New York - Berlin
“The resolution calculus” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Théorie démonstration - Raffinement - Résolution problème - Théorèmes - Résolution de problème - Démonstration automatique - Informatique - Preuve, Théorie de la - Auflösungsprinzip - Automatisches Beweisverfahren - Qa76.9.a96 l44 1997 - 511.3
Edition Identifiers:
- The Open Library ID: OL1000775M
- Library of Congress Control Number (LCCN): 96039706
- All ISBNs: 9783540618829 - 3540618821
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.