Automated theorem proving: A logical basis (Fundamental studies in computer science)
Share:
Also Available in:
- Amazon
- Audible
- Barnes & Noble
- AbeBooks
- Kobo
More Details
- Format:
- Pages: pages
- Publication:
- Publisher:
- Edition:First Edition
- Language:eng
- ISBN10:0720404991
- ISBN13:9780720404999
- kindle Asin:B01E549LWE
About Author
