computing
Who's who
Paru dans :
n° 3, Été 1963
[Texte intégral]
Who's who
Paru dans :
n° 4, Automne 1963
[Texte intégral]
Who's who
Paru dans :
n° 5, Hiver 1964
[Texte intégral]
Marc Barbut
G.I. Sanchez, "Arithmetic in Maya", édité par l'auteur 2201 Scenic Drive, Austin (Texas), 1961, 74 p.
Paru dans :
n° 8, Automne 1964
[Texte intégral]
Who's who
Paru dans :
n° 9, Hiver 1964
[Texte intégral]
Pierre Rosenstiehl
Revues des revues
An overview of journals
Paru dans :
n° 9, Hiver 1964
[Texte intégral]
Marc Barbut
B. A. Trahtenbrot, "Algorithmes et machines à calculer", Dunod, 149 p.
Paru dans :
n° 12, Automne 1965
[Résumé]
Bernard Jaulin
Journées internationales d'études sur les méthodes de calcul dans les sciences de l'Homme - Rome 4-8 juillet 1966
Paru dans :
n° 13, Hiver 1965
Bernard Jaulin
Sur un aspect du calcul
Paru dans :
n° 14, Printemps 1966
Françoise Dejean
R. Pallu de la Barrière, "Cours d'automatique théorique", Paris, Dunod, 1965, 400 p.
Paru dans :
n° 14, Printemps 1966
[Résumé]
Who's who
Paru dans :
n° 17, Hiver 1966
[Texte intégral]
Bernard Jaulin
Mesure de la ressemblance en anarchéologie
Paru dans :
n° 26, Été 1969
Bernard Vauquois
Modèles pour la traduction automatique
Denis Bresson
N. F. Stewart, F. Jensen, "Solutions numériques des problèmes matriciels", Montréal, Les Presses de l'Université de Montréal, Paris, Eyrolles, 1975
Paru dans :
n° 55, Automne 1976
[Résumé]
Denis Bresson
B. Demidovitch, I. Maron, "Eléments de Calcul numérique", Moscou, Editions Mir, 1973
Paru dans :
n° 55, Automne 1976
[Résumé]
Denis Bresson
N. Bakhvalov, "Méthodes numériques", Moscou, Editions Mir, 1976
Paru dans :
n° 55, Automne 1976
[Résumé]
Denis Bresson
Groupe inter-IREM d'épistémologie, "La rigueur et le calcul. Documents historiques et épistémologiques", Paris, CEDIC, 1982
Paru dans :
n° 83, Automne 1983
[Résumé]
Marie-josée Durand-richard
Charles Babbage (1791-1871) : de l'École Algébrique Anglaise à la "machine analytique"
From the English School of Algebra to the "analytical engine"
Paru dans :
n° 118, Été 1992
Gilles Dowek
La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques
Type theory and proof processing system
[Texte intégral]
Aarne Ranta
Computational semantics in type theory
Sémantique computationnelle dans la théorie des types
[Texte intégral]
