Copyright
ELSEVIER B.V.Radarweg 29P.O. Box 211, 1000 AEAmsterdam, The Netherlands
ELSEVIER Inc.525 B StreetSuite 1900, San DiegoCA 92101-4495, USA
ELSEVIER LtdThe BoulevardLangford Lane, Kidlington,Oxford OX5 1GB, UK
ELSEVIER Ltd84 Theobalds RoadLondon WC1X 8RRUK
© 2001 Elsevier BV. All rights reserved.
This work is protected under copyright by Elsevier Ltd, and the following terms and conditions apply to its use:
PhotocopyingSingle photocopies of single chapters may be made for personal use as allowed by national copyright laws. Permission of the Publisher and payment of a fee is required for all other photocopying, including multiple or systematic copying, copying for advertising or promotional purposes, resale, and all forms of document ...
Get Handbook of Automated Reasoning now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
