Gérard P. Huet Deduction and Computation. [Citation Graph (0, 0)][DBLP] Advanced Course: Fundamentals of Artificial Intelligence, 1985, pp:38-74 [Conf]
Mark E. Stickel An Introduction to Automated Deduction. [Citation Graph (0, 0)][DBLP] Advanced Course: Fundamentals of Artificial Intelligence, 1985, pp:75-132 [Conf]
Alan W. Biermann Fundamental Mechanisms in Machine Learning and Inductive Inference. [Citation Graph (1, 0)][DBLP] Advanced Course: Fundamentals of Artificial Intelligence, 1985, pp:133-169 [Conf]
Wolfgang Bibel Methods of Automated Reasoning. [Citation Graph (0, 0)][DBLP] Advanced Course: Fundamentals of Artificial Intelligence, 1985, pp:171-217 [Conf]
Philippe Jorrand Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language. A case study: the language FP2. [Citation Graph (0, 0)][DBLP] Advanced Course: Fundamentals of Artificial Intelligence, 1985, pp:221-276 [Conf]
Ehud Y. Shapiro Concurrent Prolog: A Progress Report. [Citation Graph (0, 0)][DBLP] Advanced Course: Fundamentals of Artificial Intelligence, 1985, pp:277-313 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP