𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Sixth conference on automated deduction courant institute of mathematical sciences : June 7–10, 1982, New York, U.S.A.


Publisher
Elsevier Science
Year
1982
Tongue
English
Weight
43 KB
Volume
18
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

✦ Synopsis


The Conference on Automated Deduction is the international conference devoted to covering all approaches to the automation of deductive reasoning. Papers range from those concerned with reporting purely theoretical results to those reporting experiments with running systems. Typical topics addressed are: design, analysis and experimentation with deductive systems, rewrite rules, formal representation and use of knowledge, logic programming, deductive databases and problem solving, and various applications of deductive systems.