𝔖 Bobbio Scriptorium

✦ LIBER ✦

[Lecture Notes in Computer Science] Third International Conference on Logic Programming Volume 225 || OLD resolution with tabulation

✍ Scribed by Shapiro, Ehud

Book ID: 120257730
Publisher: Springer Berlin Heidelberg
Year: 1986
Weight: 591 KB
Category: Article
ISBN: 3540398317
DOI: 10.1007/3-540-16492-8_66

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Thir

[Lecture Notes in Computer Science] Third International Conference on Logic Programming Volume 225 || Logic continuations

✍ Shapiro, Ehud 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 726 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

[Lecture Notes in Computer Science] Thir

[Lecture Notes in Computer Science] Third International Conference on Logic Programming Volume 225 || P-Prolog: A parallel logic language based on exclusive relation

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

Shapiro, E. (Ed.): Third International C

Shapiro, E. (Ed.): Third International Conference on Logic Programming. Proc. London 1986. Lecture Notes in Computer Science 225. Springer-Verlag, Berlin – Heidelberg – New York – London – Paris – Tokyo 1986, ix, 720 S., DM 82.–

✍ W. Issel 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB

[Lecture Notes in Computer Science] 10th

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || Liss — The logic inference search system

✍ Stickel, Mark E. 📂 Article 📅 1990 🏛 Springer Berlin Heidelberg ⚖ 105 KB

[AIP COMPUTATIONAL METHODS IN SCIENCE AN

[AIP COMPUTATIONAL METHODS IN SCIENCE AND ENGINEERING: Theory and Computation: Old Problems and New Challenges. Lectures Presented at the International Conference on Computational Methods in Science and Engineering 2007 (ICCMSE 2007): VOLUME 1 - ()] AIP Conference Proceedings - Trial Wavefunctions for Quantum Monte Carlo Simulations with Numerically Stable Analytical Gradients over Exponential Type Orbitals

✍ Hoggan, Philip E.; Simos, Theodore E.; Maroulis, George 📂 Article 📅 2007 🏛 AIP ⚖ 844 KB