La formalisation des langages de programmation
C. Pair (1971)
Mathématiques et Sciences Humaines
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “ARCO pour la programmation arithmétique et combinatoire”
La formalisation des langages de programmation
Programmation automatique simplifiée
Yves Harrand (1962)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Les qualités souhaitables dans des systèmes statistiques en se servant de GENSTAT comme référence
J. A. Nelder (1980)
Statistique et analyse des données
Similarity:
Programmes et langages
J. M. Dethoor (1970)
RAIRO - Operations Research - Recherche Opérationnelle
Similarity:
Du dialogue entre statisticiens et calculatrices électroniques
G. D'Herbemont, J. L. Groboillot (1963)
Revue de Statistique Appliquée
Similarity:
Parallélisation sémantique
P. Jouvelot, P. Feautrier (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Sémantique algébrique d'un langage de programmation type Algol
Laurent Kott (1977)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Sémantique des structures de contrôle
Bernard Robinet, François Nozick (1977)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: