Home › Books › Mathematics › Symbolic Logic and Mechanical Theorem Proving (Computer Sci…
Next →
Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) Buy on Amazon

https://www.ebooknetworking.net/books_detail-0121703509.html

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)

AuthorChin-Liang Chang, Richard Char-Tung Lee
PublisherAcademic Press
CategoryMathematics
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Buy New on Amazon 🇫🇷

Book Details

Author(s)Chin-Liang Chang, Richard Char-Tung Lee
PublisherAcademic Press
ISBN / ASIN0121703509
ISBN-139780121703509
CategoryMathematics
MarketplaceFrance  🇫🇷

More Books in Mathematics

Random Matrix Models and their Applications (Mathematical Sciences Research Institute Publications, Band 40)
Random Matrix Models and their Applications (Mathemati…
View
LMS: 31 Crossed Products & Algebras (London Mathematical Society Lecture Note Series, Band 31)
LMS: 31 Crossed Products & Algebras (London Mathem…
View
Donate to EbookNetworking
Prev
Next