10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Mark E. Stickel (Editor)
Publisher: Springer
ISBN: 3540528857
Edition: Paperback; 1990-08-10
Summary:
This volume contains the papers presented at the 10th International
Conference on Automated Deduction (CADE-10). CADE is the major forum
at which research on all aspects of automated deduction is presented.
Although automated deduction research is also presented at more
general artificial intelligence conferences, the CADE conferences
have no peer in the concentration and quality of their contributions
to this topic. The papers included range from theory to
implementation and experimentation, from propositional to
higher-order calculi and nonclassical logics; they refine and use a
wealth of methods including resolution, paramodulation, rewriting,
completion, unification and induction; and they work with a variety
of applications including program verification, logic programming,
deductive databases, and theorem proving in many domains. The volume
also contains abstracts of 20 implementations of automated deduction
systems. The authors of about half the papers are from the United
States, many are from Western Europe, and many too are from the rest
of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE
conferences are published as Volumes 87, 138, 170, 230, 310 in the
series Lecture Notes in Computer Science.
Click on a subject to see other books listed with the same
subject or to drill down into components of the subject -- such as
geographical locations, dates and so on.
We query many merchants so that you can instantly
compare prices and
availability. You can even check historic prices and subscribe
for notifications. For a manual check, clicking on a link will open a
new window with a search for this book on the merchant's site of your
choice.
