Une formalisation de la sémantique des langages de programmation
J.-P. Finance (1976)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
J.-P. Finance (1976)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
R. Gras, H. Ratsimba-Rajohn (1996)
RAIRO - Operations Research - Recherche Opérationnelle
Similarity:
E. Diday (1989)
RAIRO - Operations Research - Recherche Opérationnelle
Similarity:
J.-P. Finance (1976)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
I. C. Lerman (1981)
Journal de la société française de statistique
Similarity:
Denis Pierre (1997)
Mathématiques et Sciences Humaines
Similarity:
Nous nous intéressons à l'apprentissage à partir d'exemples et à la résolution de problème dans un univers évolutif représenté par une base de connaissances incomplète. Nous formalisons un cadre de représentation de connaissances susceptible d'être élaboré et critiqué par des humains comme par des machines. Cette représentation des connaissances est appelée théorie semi-empirique car cette forme de théorie n'est pas complètement axiomatique. Nous avons formalisé la gestion de la croissance...
R. Castanet (1974)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Stojan Gorgievski (1971)
ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique
Similarity: