✦ 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
DOI: 10.1002/bimj.4710300208

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Lecture notes in biomathematics. Vol 73:

Lecture notes in biomathematics. Vol 73: Applications of Control Theory in Ecology Proceedings, New York 1986. Berlin, Heidelberg, New York, London, Paris, Tokyo: Springer-Verlag 1987, 101 pp., DM 28, 50, ISBN 3-540-18104-0

✍ Th. Bley 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 43 KB 👁 2 views

Bibel, M., Ph. Jorrand (Eds.): Fundament

Bibel, M., Ph. Jorrand (Eds.): Fundamentals of Artificial Intelligence. An Advanced Course. Lecture Notes in Computer Science Vol. 232. Springer-Verlag, Berlin – Heidelberg – New York – London – Paris – Tokyo: 1986, XII, 313 pp., DM 45,– ISBN 3-540-16782-X

✍ D. Seese 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 188 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

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