The Leading eBooks Store Online 3,667,858 members ⚫ 1,180,414 ebooks

New to eBooks.com?

Learn more

Handbook of Automated Reasoning

Handbook of Automated Reasoning by Alan J.A. Robinson
Add to cart
US$ 505.00
(If any tax is payable it will be calculated and shown at checkout.)
Handbook of Automated Reasoning
Elsevier Science; June 2001
2128 pages; ISBN 9780080532790
Read online, or download in secure EPUB or secure PDF format
Title: Handbook of Automated Reasoning
Author: Alan J.A. Robinson; Andrei Voronkov