Proceedings of the 8th International Conference on Automated Deduction: J H Siekmann (ed), Springer-Verlag (1986) 708 pp, DM 96

Siekmann, J. H. (Ed.): 8th International

Siekmann, J. H. (Ed.): 8th International Conference on Automated Deduction. Oxford, England, July 27–August 1, 1986, Proceedings. Lecture Notes in Computer Science Vol. 230. Springer-Verlag, Berlin – Heidelberg – New York – Tokyo 1986, IX, 708 pp., DM 96,– ISBN 3-540-16780-3

✍ D. Seese 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 184 KB 👁 1 views

Part two bantains four lectures. G. Huet: Deduction and Computation, 31. E. Stickel: An Introduction to Automated Deduction, A W. Biermann: Fundamental Mechanisms in Machine Learning and Inductive Inference and W. Bibel: Methods of Automated b o n i n g . The first lecture introduces formal IanguagM