✦ LIBER ✦

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || RCL: A lisp verification system

✍ Scribed by Stickel, Mark E.

Book ID: 111680546
Publisher: Springer Berlin Heidelberg
Year: 1990
Weight: 139 KB
Category: Article
ISBN: 3540471715
DOI: 10.1007/3-540-52885-7_129

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

[Lecture Notes in Computer Science] 8th

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

✍ Siekmann, Jörg H. 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 370 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Deduction — Cade-13 Volume 1104 || IMPS: An updated system description

✍ McRobbie, M. A.; Slaney, J. K. 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 300 KB

[Lecture Notes in Computer Science] Thir

[Lecture Notes in Computer Science] Third International Conference on Logic Programming Volume 225 || Memory performance of Lisp and Prolog programs

✍ Shapiro, Ehud 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 424 KB

10th international conference on automat

10th international conference on automated deduction: Lecture notes in artificial intelligence, subseries of lecture notes in computer science, edited by M. E. Stickel. Springer, Berlin (1990) 688 pp., DM 92.00, ISBN No: 3-540-52885-7

✍ Tanel Tammet 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 105 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