Formal techniques in artificial intelligence - a sourcebook

Term Rewriting and Equational Reasoning (J. Avenhaus, K. Madlener). Implementing Metamathematics as an Approach to Automatic Theorem Proving (R.L. Constable, D.J. Howe). Qualitative Physics (S.D. Grantham, L.H. Ungar). Automatic Generation of Heuristics (J.P.E. Hodgson). A Survey of Computational Learning Theory (P.D. Laird). A Primer on the Complexity Theory of Neural Networks (I. Parberry). Mechanical Theorem Proving (D.A. Plaisted). Semantic Issues in Deductive Databases and Logic Programs (H. Przymusinska, T. Przymusinski). An Introduction to Unification Theory (J.H. Siekmann). Index.