Skip to main content

Handbook of Automated Reasoning

  • 1st Edition, Volume II - June 21, 2001
  • Editors: Alan J.A. Robinson, Andrei Voronkov
  • Language: English
  • Hardback ISBN:
    9 7 8 - 0 - 4 4 4 - 5 0 8 1 2 - 6
  • eBook ISBN:
    9 7 8 - 0 - 0 8 - 0 9 2 9 6 9 - 9

BACK-TO-SCHOOL

Fuel your confidence!

Up to 25% off learning resources

Elsevier academics book covers

Related books