Summary: CARNEGIE MELLON
Herbrand Award Acceptance Speech
by
Peter B. Andrews
Research Report No. 03-003
October 2003
Department of Mathematical Sciences
Carnegie Mellon University

International Conference on Automated Deduction ~ CADE
to Automated Reasoning
presented to
Peter Andrews
theory, mating-based theorem proving, automated deduction
in higher-order logic, proof presentation, logic education and
his many other contributions to the field of automated reasoning
For his seminal contributions and pioneering research in type-
Presented at CADE-19
The Nineteenth International Conference on Automated Deduction
August 1, 2003 Ulrich Furbach

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

Collections: Mathematics