Automated Theorem Proving: Theory and Practice
📄 Viewing lite version
Full site ›
138.22
USD
🛒 Buy New on Amazon 🇺🇸
Book Details
Author(s)Monty Newborn
ISBN / ASIN0387950753
ISBN-139780387950754
MarketplaceUnited States 🇺🇸