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 BibTeX
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 © Sat May 16 22:54:29 2009
by Michael Ley (ley@uni-trier.de)
