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 
Home Page of the Handbook
Volume 1
Chapter 1
- Martin Davis:
The Early History of Automated Deduction.
3-15
Chapter 2
Chapter 3
Chapter 4
Chapter 5
Chapter 6
Chapter 7
Chapter 8
Chapter 9
Chapter 10
Chapter 11
Chapter 12
Chapter 13
- Alan Bundy:
The Automation of Proof by Mathematical Induction.
845-911
Chapter 14
Volume 2
Chapter 15
Chapter 16
- Gilles Dowek:
Higher-Order Unification and Matching.
1009-1062
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)
