https://www.ebooknetworking.net/books_detail-082185027X.html

Automated Theorem Proving: After 25 Years (Contemporary Mathematics)

Name: Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Author: W. W. Bledsoe
ISBN: 9780821850275

Shop on Amazon — choose your country

Book Details

ISBN / ASIN082185027X

ISBN-139780821850275

MarketplaceFrance 🇫🇷