@article{ITA_1979__13_4_309_0,
author = {Colmerauer, A.},
title = {Un sous-ensemble int\'eressant du fran\c{c}ais},
journal = {RAIRO. Informatique th\'eorique},
pages = {309--336},
year = {1979},
publisher = {EDP Sciences},
volume = {13},
number = {4},
zbl = {0423.68044},
language = {fr},
url = {https://www.numdam.org/item/ITA_1979__13_4_309_0/}
}
Colmerauer, A. Un sous-ensemble intéressant du français. RAIRO. Informatique théorique, Tome 13 (1979) no. 4, pp. 309-336. https://www.numdam.org/item/ITA_1979__13_4_309_0/
1. , Metamorphosis Grammars, in Natural Language Communication with Computer, Lectures Notes in Computer Science n° 63. Sprinter Verlag. 1978, p. 133-189. | MR
2. , Étude des structures du type Nom de Nom, Thèse de doctorat, Université de Montréal, 1975.
3. , Un système déductif d'interrogation de banques de données en espagnol, Thèse de 3e cycle, Groupe d'Intelligence Artificielle, Université d'Aix-Marseille, novembre 1977.
4. , Grammaire transformationnelle du français, syntaxe du nom, Collection « Langue et langage », Larousse, 1977.
5. , On Semantically Based Grammar, Linguistic Inquiry, vol. 111, n° 4, automne 1972.
6. et , The Semantics of Predicate Logic as a Programming Language, J. Assoc. Comput. Mach., 1972, 23, p. 733-743. | Zbl | MR
7. et , Some philosophical Problems from the Standpoint of Artificial Intelligence, Machine Intelligence, vol. 4, 1969. | Zbl
8. , First-Order Theories of Individual Concepts and Propositions, Version préliminaire, Stanford Artificial Intelligence Laboratory, avril 1977.
9. , Format Philosophy, Selected Papers, R. H. THOMASON, éd., Yale University Press, 1974.
10. , Représentation du français en logique du 1er ordre en vue de dialoguer avec un ordinateur, Thèse de 3e cycle, Groupe d'Intelligence Artificielle, Université d'Aix-Marseille, mai 1973.
11. , Interrogation en français d'une base de données relationnelles, Diplôme d'Étude Approfondie, Groupe d'Intelligence Artificielle, Université d'Aix-Marseille, juillet 1978.
12. , Manuel d'utilisation PROLOG, Rapport interne, Groupe d'Intelligence Artificielle, Université d'Aix-Marseille, septembre 1975.





