Axiomatisation des manipulations symboliques en calcul des prédicats
Utilisation des calculateurs en mathématiques pures (Limoges, 1975), Mémoires de la Société Mathématique de France no. 49-50  (1977), p. 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)},
     author = {Collectif},
     series = {M\'emoires de la Soci\'et\'e Math\'ematique de France},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {49-50},
     year = {1977},
     pages = {15-30},
     zbl = {0384.68043},
     mrnumber = {58 \#13908},
     language = {mul},
     url = {http://www.numdam.org/item/MSMF_1977__49-50__15_0}
}
Bergman, Marc; Kanoui, Henry. Axiomatisation des manipulations symboliques en calcul des prédicats, in Utilisation des calculateurs en mathématiques pures (Limoges, 1975), Mémoires de la Société Mathématique de France, no. 49-50 (1977), pp. 15-30. doi : 10.24033/msmf.210. http://www.numdam.org/item/MSMF_1977__49-50__15_0/

[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). | MR 46 #8466 | Zbl 0228.68009

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