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
Last update Thu May 23 23:55:08 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
