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.
« February 2020 »
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
 

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: