Handbook of Automated Reasoning book cover

Handbook of Automated Reasoning

,

Published: June 2001

Imprint: North-holland

ISBN: 978-0-444-50813-3

Advertisement

advert image