%A James P. Delgrande
%A John Mylopoulos
%T Knowledge representation: features of knowledge
%J Proceedings of the First Advanced Course in Artificial Intelligence
%C Vignieu, France
%D July 1985
%E W. Bibel
%E Ph. Jorrand
%O published as Lecture Notes in Computer Science 232
by Springer-Verlag
%K acai acai1
%P 3-36

%A Gerard Huet
%T Deduction and computation
%J Proceedings of the First Advanced Course in Artificial Intelligence
%C Vignieu, France
%D July 1985
%E W. Bibel
%E Ph. Jorrand
%O published as Lecture Notes in Computer Science 232
by Springer-Verlag
%K acai acai1
%P 39-74

%A Mark E. Stickel
%T An introduction to automated deduction
%J Proceedings of the First Advanced Course in Artificial Intelligence
%C Vignieu, France
%D July 1985
%E W. Bibel
%E Ph. Jorrand
%O published as Lecture Notes in Computer Science 232
by Springer-Verlag
%K acai acai1
%P 75-132

%A Alan W. Biermann
%T Fundamental mechanisms in machine learning and inductive inference
%J Proceedings of the First Advanced Course in Artificial Intelligence
%C Vignieu, France
%D July 1985
%E W. Bibel
%E Ph. Jorrand
%O published as Lecture Notes in Computer Science 232
by Springer-Verlag
%K acai acai1
%P 133-169

%A Wolfgang Bibel
%T Methods of automated reasoning
%J Proceedings of the First Advanced Course in Artificial Intelligence
%C Vignieu, France
%D July 1985
%E W. Bibel
%E Ph. Jorrand
%O published as Lecture Notes in Computer Science 232
by Springer-Verlag
%K acai acai1
%P 171-217

%A Philippe Jorrand
%T Term rewriting as a basis for the design
of a functional and parallel programming language.
A case study: the language FP2
%J Proceedings of the First Advanced Course in Artificial Intelligence
%C Vignieu, France
%D July 1985
%E W. Bibel
%E Ph. Jorrand
%O published as Lecture Notes in Computer Science 232
by Springer-Verlag
%K acai acai1
%P 221-276

%A Ehud Shapiro
%T Concurrent Prolog: a progress report
%J Proceedings of the First Advanced Course in Artificial Intelligence
%C Vignieu, France
%D July 1985
%E W. Bibel
%E Ph. Jorrand
%O published as Lecture Notes in Computer Science 232
by Springer-Verlag
%K acai acai1
%P 277-313