Axiomatisation des manipulations symboliques en calcul des prédicats
Marc Bergman, Henry Kanoui (1977)
Mémoires de la Société Mathématique de France
Similarity:
Marc Bergman, Henry Kanoui (1977)
Mémoires de la Société Mathématique de France
Similarity:
R. Castanet (1974)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
P. Jouvelot, P. Feautrier (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Frédérique Segond, Jean-Pierre Chanod (1988)
Mathématiques et Sciences Humaines
Similarity:
J. P. Descles (1981)
Mathématiques et Sciences Humaines
Similarity:
Jean-Pierre Descles (1988)
Mathématiques et Sciences Humaines
Similarity:
J.-P. Finance (1976)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
J. A. Nelder (1980)
Statistique et analyse des données
Similarity:
Dominique Guin (1992)
Mathématiques et Sciences Humaines
Similarity:
Cet article fait suite à l'article paru dans le volume 113 de cette revue (D. Guin [15]) où nous avons mis en évidence certains processus cognitifs élémentaires dans l'activité de compréhension d'énoncés additifs, puis proposé une modélisation de la compréhension permettant de prendre en compte ces processus. Dans celle modélisation basée sur la notion d'opérateur, nous avons distingué deux étapes : la compréhension linguistique de l'énoncé et la réduction à un prototype. Nous utiliserons...