Handbook of Automated Reasoning

Edited by

  • Alan Robinson, 96 Highland Avenue, Greenfield, Massachusetts, USA
  • Andrei Voronkov, University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.

 

Book information

  • Published: June 2001
  • Imprint: NORTH-HOLLAND
  • ISBN: 978-0-444-50813-3