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

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)

Name: Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)
Author: Chin-Liang Chang, Richard Char-Tung Lee
ISBN: 9780121703509

AuthorChin-Liang Chang, Richard Char-Tung Lee

PublisherAcademic Press

CategoryMathematics

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

61.27 USD

Buy New on Amazon 🇺🇸

Book Details

Author(s)Chin-Liang Chang, Richard Char-Tung Lee

PublisherAcademic Press

ISBN / ASIN0121703509

ISBN-139780121703509

CategoryMathematics

MarketplaceUnited States 🇺🇸

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)

Book Details

More Books in Mathematics