Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Diagrammes
Tome 42 (1999)
Précédent
Suivant
Étude du typage dans le système de calcul scientifique Aldor
Touratier, E.
p. 3-113