Thèse
Année : 1975
Thèses Imag : Connectez-vous pour contacter le contributeur
https://theses.hal.science/tel-00286254
Soumis le : lundi 9 juin 2008-09:36:19
Dernière modification le : jeudi 4 avril 2024-18:20:36
Archivage à long terme le : vendredi 28 mai 2010-19:15:18
Dates et versions
Identifiants
- HAL Id : tel-00286254 , version 1
Citer
Henri Saya. Définition et utilisation des S-L graphes en démonstration automatique. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1975. Français. ⟨NNT : ⟩. ⟨tel-00286254⟩
159
Consultations
51
Téléchargements