Skip to main content

Handbook of Automated Reasoning

  • 1st Edition, Volume II - June 21, 2001
  • Latest edition
  • Editors: Alan J.A. Robinson, Andrei Voronkov
  • Language: English

Fall sale

Fall into Wisdom!

Save up to 25% off books and eBooks!

Elsevier academics book covers

Related books