Handbook of Automated Reasoning, Volume 1

Front Cover
Alan J.A. Robinson, Andrei Voronkov
Elsevier, Jun 22, 2001 - Computers - 2128 pages
0 Reviews
Handbook of Automated Reasoning

What people are saying - Write a review

We haven't found any reviews in the usual places.


Higherorder logic and logical frameworks
Nonclassical logics
Decidable classes and model building

Other editions - View all

Common terms and phrases

About the author (2001)

David Robinson is Lecturer in Marketing at the University of California, Berkeley, and has taught at Stanford, University of San Francisco, and Santa Clara University. He studied at the University of Durham in England and then at Oxford. His Ph.D. in Psychology is from Brown University in Rhode Island and his MBA is from the Unversity of North Carolina, Chapel Hill. Every year more that 1,000 students take his Principles of Business class, and running the class is a good opportunity for him to practice his interest in service operations. Each summer, Dr. Robinson takes students on a Travel Study to the People's Republic of China. Observing intercultural differences in behavior led him to write about American practices that people take for granted.

Andrei Voronkov is Professor of Computer Science at the University of Manchester, UK.

Bibliographic information