Explore: Prüfprogramm
Discover books, insights, and more — all in one place.
Learn more about Prüfprogramm with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “pr%C3%BCfprogramm”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Automated Deduction in Nonclassical Logics
By Lincoln A. Wallen
“Automated Deduction in Nonclassical Logics” Metadata:
- Title: ➤ Automated Deduction in Nonclassical Logics
- Author: Lincoln A. Wallen
- Language: English
- Number of Pages: Median: 255
- Publisher: The MIT Press
- Publish Date: 1989
“Automated Deduction in Nonclassical Logics” Subjects and Themes:
- Subjects: ➤ Proof theory - Modality (Logic) - Künstliche Intelligenz - Prüfprogramm - Intuitionistic mathematics - Automatisches Beweisverfahren - Modalité (Logique) - Preuve, Théorie de la - Nichtklassische Logik - Mathématiques intuitionnistes - Intuitionisme (Mathématiques) - Logic, symbolic and mathematical - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL10237744M
- Online Computer Library Center (OCLC) ID: 20351829
- Library of Congress Control Number (LCCN): 89014539
- All ISBNs: 0262231441 - 9780262231442
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Automated Deduction in Nonclassical Logics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.