W. W Bledsoe (EDT) Automated Theorem Proving

After 25 Years

Price for Eshop: 2035 Kč (€ 81.4)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: American Mathematical Society

Date: 2011

Pages: 360

EAN/ISBN13: 978-0-8218-7614-5

ISBN10: 0-8218-7614-7

You can ask us about this book and we'll send an answer to your e-mail.