Personal tools
You are here: Home Projects Prolog Université d'Aix-Marseille Documents
Document Actions

Documents

Up one level
Philippe Roussel. Définition et traitement de l'égalité formelle en démonstration automatique. Université Aix-Marseille II, France, May 1972. by Paul McJones — last modified 2019-08-08 20:54
Philippe Roussel. Définition et traitement de l'égalité formelle en démonstration automatique. Thèse de 3ème cycle, Groupe Intelligence Artificielle, Faculté des Sciences de Luminy, Université Aix-Marseille II, France, May 1972.
Alain Colmerauer. Prolog and Infinite Trees. 1982. by Paul McJones — last modified 2019-09-30 17:39
Alain Colmerauer. Prolog and Infinite Trees. In: Keith L. Clark and Sten-Åke Tärnlund (eds). Logic programming. London: Academic Press, 1982, pages 231-251.
Veronica Dahl. Translating Spanish into Logic through Logic. Computational Linguististics. 1981. by Paul McJones — last modified 2020-02-07 11:15
Veronica Dahl. Translating Spanish into Logic through Logic. Computational Linguististics. Volume 7, Number 3 (July 1981), pages 149–164.
V. Dahl and R. Sambuc. Un système de banque de données en logique du premier ordre, en vue de sa consultation en langue naturelle. by Paul McJones — last modified 2021-01-13 13:53
V. Dahl and R. Sambuc. Un système de banque de données en logique du premier ordre, en vue de sa consultation en langue naturelle. D.E.A. Report, Univ. Aix-Marseille, 1976.
« January 2021 »
Su Mo Tu We Th Fr Sa
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31
 

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: