|
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.
-
Robert Passaro. Un systeme de communication homme-machine en Francais. October 1974.
by
Paul McJones
—
last modified
2021-09-14 16:31
-
Robert Passaro. Un systeme de communication homme-machine en Francais. Rapport de recherche intermediare sur le Contrat Sesdri No. 73 047, période du 16 Octobre 1973 au 16 Octobre 1974. Groupe d'Intelligence Artificielle, Université Aix-Marseille II, France, October 1974
-
Robert Passaro. Un essai de communication sensee en langue naturelle. September 1976.
by
Paul McJones
—
last modified
2021-09-14 16:36
-
Robert Passaro. Un essai de communication sensee en langue naturelle. Recherche subventionnée par le contrat IRIA-SESORI no. 73 047. Groupe d'Intelligence Artificielle, Université Aix-Marseille II, France, September 1976.
-
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.
-
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.
-
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.
|
«
|
October
2024
|
»
|
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 |
|
|
|