Handbook of Automated Reasoning book cover

Handbook of Automated Reasoning

Hardbound, 2128 Pages

Published: June 2001

Imprint: North-holland

ISBN: 978-0-444-50813-3

Advertisement

advert image