Book Search Results
Thirty Five Years Of Automating Mathematics (applied Logic Series) by F.d. Kamareddine
Find "Thirty Five Years Of Automating Mathematics (applied Logic Series)" by F.d. Kamareddine through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Thirty Five Years of Automating Mathematics (Applied Logic Series)
By F.D. Kamareddine
“Thirty Five Years of Automating Mathematics (Applied Logic Series)” Metadata:
- Title: ➤ Thirty Five Years of Automating Mathematics (Applied Logic Series)
- Author: F.D. Kamareddine
- Language: English
- Number of Pages: Median: 328
- Publisher: Springer
- Publish Date: 2003
“Thirty Five Years of Automating Mathematics (Applied Logic Series)” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Proof theory - Formal languages - AUTOMATH (Formal language) - Symbolic and mathematical Logic - Mathematics - Data processing - History
Edition Identifiers:
- The Open Library ID: OL8370817M
- Online Computer Library Center (OCLC) ID: 53091322
- Library of Congress Control Number (LCCN): 2003062874
- All ISBNs: 1402016565 - 9781402016561
First Setence:
"The paper is a survey of the material presented in previous more elaborate publications ([de Bruijn, 1994; de Bruijn, 1996; de Bruijn, 1999])."
Access and General Info:
- First Year Published: 2003
- 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 Thirty Five Years of Automating Mathematics (Applied Logic Series) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Thirty Five Years Of Automating Mathematics (applied Logic Series)” online:
Shop for “Thirty Five Years Of Automating Mathematics (applied Logic Series)” on popular online marketplaces.
- Ebay: New and used books.