Home › Books › Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving Buy on Amazon

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

Symbolic Logic and Mechanical Theorem Proving

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

Book Details

Author(s)Chin-Liang Chang, Richard Char-Tung Lee
PublisherAcademic Press
ISBN / ASIN1493300245
ISBN-139781493300242
MarketplaceUnited States  🇺🇸

More Books by Chin-Liang Chang, Richard Char-Tung Lee

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)
Symbolic Logic and Mechanical Theorem Proving (Compute…
View
Donate to EbookNetworking
Prev
Next