Axiomatisation des manipulations symboliques en calcul des prédicats
Utilisation des calculateurs en mathématiques pures (Limoges, 1975), Bulletin de la Société mathématique de France. Mémoire, no. 49-50 (1977), pp. 15-30 
@incollection{MSMF_1977__49-50__15_0,
     author = {Bergman, Marc and Kanoui, Henry},
     title = {Axiomatisation des manipulations symboliques en calcul des pr\'edicats},
     booktitle = {Utilisation des calculateurs en math\'ematiques pures (Limoges, 1975)},
     series = {Bulletin de la Soci\'et\'e math\'ematique de France. M\'emoire},
     pages = {15--30},
     year = {1977},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {49-50},
     doi = {10.24033/msmf.210},
     mrnumber = {58 #13908},
     zbl = {0384.68043},
     url = {https://www.numdam.org/articles/10.24033/msmf.210/}
}
TY  - CHAP
AU  - Bergman, Marc
AU  - Kanoui, Henry
TI  - Axiomatisation des manipulations symboliques en calcul des prédicats
BT  - Utilisation des calculateurs en mathématiques pures (Limoges, 1975)
AU  - Collectif
T3  - Bulletin de la Société mathématique de France. Mémoire
PY  - 1977
SP  - 15
EP  - 30
IS  - 49-50
PB  - Société mathématique de France
UR  - https://www.numdam.org/articles/10.24033/msmf.210/
DO  - 10.24033/msmf.210
ID  - MSMF_1977__49-50__15_0
ER  - 
%0 Book Section
%A Bergman, Marc
%A Kanoui, Henry
%T Axiomatisation des manipulations symboliques en calcul des prédicats
%B Utilisation des calculateurs en mathématiques pures (Limoges, 1975)
%A Collectif
%S Bulletin de la Société mathématique de France. Mémoire
%D 1977
%P 15-30
%N 49-50
%I Société mathématique de France
%U https://www.numdam.org/articles/10.24033/msmf.210/
%R 10.24033/msmf.210
%F MSMF_1977__49-50__15_0
Bergman, Marc; Kanoui, Henry. Axiomatisation des manipulations symboliques en calcul des prédicats, dans Utilisation des calculateurs en mathématiques pures (Limoges, 1975), Bulletin de la Société mathématique de France. Mémoire, no. 49-50 (1977), pp. 15-30. doi: 10.24033/msmf.210

[1] G. Battani et H. Meloni. - "Interpréteur du langage de programmation PROLOG". - Rapport de DEA, G.I.A., U.E.R. de LUMINY, Université d'AIX-MARSEILLE.- (1973).

[2] M. Bergman. - "Résolution par la démonstration automatique de quelques problèmes en intégration symbolique sur calculateur". - Thèse de 3ème cycle. - (1973).

[3] M. Bergman et H. Kanoui. - "Sycophante, système de calcul formel et d'intégration symbolique sur ordinateur". - Convention DRME n° 73/828, Rapport Final, Octobre 1975.

[4] H. Kanoui. - "Application de la démonstration automatique aux manipulations algébriques et à l'intégration formelle sur ordinateur". - Thèse de 3ème cycle. - (1973).

[5] H. Kanoui. - “Some aspects of symbolic integration via Predicate-Logic programming”. - (soumis pour publication).

[6] R. Kowalski. - “Logic for problem solving”. - MEMO n° 75, Dept of Artificial Intelligence, University of EDINBURG. - (1974).

[7] R. Loos. - “Toward a formal implementation of Computer Algebra”. - Proceedings of EUROSAM 74, SIGSAM BULLETIN V8, N3, (1974).

[8] J. Moses. - “Symbolic Integration”. - Rapport MAC TR-47, PROJECT MAC, MIT, (1967).

[9] J. Moses. - “Symbolic Integration, the stormy Decade”. - Proceedings of the second Symposium on symbolic and algebraic Manipulation, ACM (1971). | Zbl | MR

[10] Ph. Roussel. - "PROLOG : manuel d'utilisation", G.I.A., U.E.R. de LUMINY, Université d'AIX-MARSEILLE (1975).

Cité par Sources :