𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Naish, L.: Negation and Control in Prolog. Lecture Notes in Computer Science Vol. 238, Springer-Verlag, Berlin – Heidelberg – New York – London – Paris – Tokyo: 1986, IX, 119 pp., DM 27,– ISBN 3-540-16815-X

✍ Scribed by D. Seese


Publisher
John Wiley and Sons
Year
1988
Tongue
English
Weight
63 KB
Volume
30
Category
Article
ISSN
0323-3847

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Siekmann, J. H. (Ed.): 8th International
✍ D. Seese 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 184 KB

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