✦ LIBER ✦

[Lecture Notes in Computer Science] 8th International Conference on Automated Deduction Volume 230 || NP-completeness of the set unification and matching problems

✍ Scribed by Siekmann, Jörg H.

Book ID: 111858506
Publisher: Springer Berlin Heidelberg
Year: 1986
Weight: 370 KB
Category: Article
ISBN: 3540398619
DOI: 10.1007/3-540-16780-3_113

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] 6th

[Lecture Notes in Computer Science] 6th Conference on Automated Deduction Volume 138 || Comparison of natural deduction and locking resolution implementations

✍ Loveland, D. W. 📂 Article 📅 1982 🏛 Springer-Verlag ⚖ 410 KB

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

Database and expert systems applications

Database and expert systems applications: Proceedings of the 5th International Conference on Database and Expert Systems Applications, edited by D. Karagiannis. Springer-Verlag Lecture Notes in Computer Science. Springer-Verlag, Berlin (1994). 807 pp. DM 146.00. ISBN: 3 540 58435 8

✍ Paul Beynon-Dames 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 81 KB