✦ 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
DOI: 10.1016/0004-3702(82)90043-1

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.

📜 SIMILAR VOLUMES

Advances in CAN/CAM, T. M. R. Ellis and

Advances in CAN/CAM, T. M. R. Ellis and O. I. Semenkov. Proceedings of the 5th International IFIP/ IFAC Conference on Programming Research and Operations Logistics in Advanced Manufacturing Technology PROLAMAT 82 held in Leningrad, U.S.S.R., 16-18 May 1982. Edited by T. M. R. Ellis and O. I. Semenkov. Published by North-Holland Publishing Company, ISBN 0-444-86549-7. Distributors for the U.S.A. and Canada: Elsevier Science Publishing Co. Inc., 52 Vanderbilt Avenue, New York, N.Y. 10017. XVIII + 720 pages

✍ Preben Hansen 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB