Axiomatisation des manipulations symboliques en calcul des prédicats

Marc Bergman; Henry Kanoui

Mémoires de la Société Mathématique de France (1977)

  • Volume: 49-50, page 15-30
  • ISSN: 0249-633X

How to cite

top

Bergman, Marc, and Kanoui, Henry. "Axiomatisation des manipulations symboliques en calcul des prédicats." Mémoires de la Société Mathématique de France 49-50 (1977): 15-30. <http://eudml.org/doc/94757>.

@article{Bergman1977,
author = {Bergman, Marc, Kanoui, Henry},
journal = {Mémoires de la Société Mathématique de France},
language = {fre},
pages = {15-30},
publisher = {Société mathématique de France},
title = {Axiomatisation des manipulations symboliques en calcul des prédicats},
url = {http://eudml.org/doc/94757},
volume = {49-50},
year = {1977},
}

TY - JOUR
AU - Bergman, Marc
AU - Kanoui, Henry
TI - Axiomatisation des manipulations symboliques en calcul des prédicats
JO - Mémoires de la Société Mathématique de France
PY - 1977
PB - Société mathématique de France
VL - 49-50
SP - 15
EP - 30
LA - fre
UR - http://eudml.org/doc/94757
ER -

References

top
  1. [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. [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. [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. [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. [5] H. KANOUI. — “Some aspects of symbolic integration via Predicate-Logic programming”. — (soumis pour publication). 
  6. [6] R. KOWALSKI. — “Logic for problem solving”. — MEMO n° 75, Dept of Artificial Intelligence, University of EDINBURG. — (1974). 
  7. [7] R. LOOS. — “Toward a formal implementation of Computer Algebra”. — Proceedings of EUROSAM 74, SIGSAM BULLETIN V8, N3, (1974). 
  8. [8] J. MOSES. — “Symbolic Integration”. — Rapport MAC TR-47, PROJECT MAC, MIT, (1967). 
  9. [9] J. MOSES. — “Symbolic Integration, the stormy Decade”. — Proceedings of the second Symposium on symbolic and algebraic Manipulation, ACM (1971). Zbl0228.68009MR46 #8466
  10. [10] Ph. ROUSSEL. — "PROLOG : manuel d'utilisation", G.I.A., U.E.R. de LUMINY, Université d'AIX-MARSEILLE (1975). 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.