Siekmann, J. H. (Ed.): 8th International
✍
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