Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
CARNEGIE MELLON Herbrand Award Acceptance Speech
 

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