Handbook of Automated Reasoning
Handbook of Automated Reasoning on ScienceDirect(Opens new window)
Hardbound, 1188 Pages
Published: JUN-2001
ISBN 10: 0-444-50812-0
ISBN 13: 978-0-444-50812-6
Imprint: NORTH-HOLLAND

Actions

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


 
Last update: 6 Nov 2011