par Latouche, Guy Cliquez pour télécharger la liste de publications de l'auteur
Référence Technology and Science of Informatics, 5, (page 403-410)
Publication Publié, 1986
Article révisé par les pairs
Titre :
  • Un exemple d'utilisation informelle des méthodes de preuve d'algorithmes
Auteur : Latouche, Guy
Informations sur la publication : Technology and Science of Informatics, 5, (page 403-410)
Statut de publication : Publié, 1986
Sujet CREF : Algèbre linéaire et matricielle
Mots-clés : sciences
Langue :
  • Français
Identificateurs : urn:issn:0264-7419 
gl-0038