dblp.uni-trier.de www.uni-trier.de

Handbook of Automated Reasoning, 2001

John Alan Robinson, Andrei Voronkov (Eds.): Handbook of Automated Reasoning (in 2 volumes). Elsevier and MIT Press 2001, ISBN 0-444-50813-9,0-262-18223-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Home Page of the Handbook

Volume 1

Chapter 1 Chapter 2 Chapter 3 Chapter 4 Chapter 5 Chapter 6 Chapter 7 Chapter 8 Chapter 9 Chapter 10 Chapter 11 Chapter 12 Chapter 13 Chapter 14

Volume 2

Chapter 15 Chapter 16 Chapter 17 Chapter 18 Chapter 19 Chapter 20 Chapter 21 Chapter 22 Chapter 23 Chapter 24 Chapter 25 Chapter 26 Chapter 27 Chapter 28

Copyright © Fri Mar 12 17:04:57 2010 by Michael Ley (ley@uni-trier.de)