Title Handbook of automated reasoning. Volume II / editors, Alan Robinson and Andrei Voronkov

Published Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, ©2001

Click on the following:
O'Reilly

Copies

Description 1 online resource (xxv, 963-2122 pages) : illustrations Bibliography Includes bibliographical references and index Notes Print version record Subject Automatic theorem proving -- Handbooks, manuals, etc Qualitative reasoning -- Handbooks, manuals, etc Automatic theorem proving Qualitative reasoning Genre/Form Handbooks and manuals Form Electronic book Author Robinson, J. A. (John Alan) Voronkov, Andrei, 1959- ISBN 9780080532790 0080532799 0444508139 9780444508133

  Permalink