Skip to main content

Handbook of Automated Reasoning

  • 1st Edition, Volume I - June 21, 2001
  • Editors: Andrei Voronkov, Alan J.A. Robinson
  • Language: English
  • Hardback ISBN:
    9 7 8 - 0 - 4 4 4 - 8 2 9 4 9 - 8
Handbook of Automated Reasoning

Purchase options

Sorry, this title is not available for purchase in your country/region.

LIMITED OFFER

Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code needed.

Image of books

Institutional subscription on ScienceDirect

Request a sales quote