Définition et utilisation des S-L graphes en démonstration automatique

Document type :
Theses
Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1975. French


https://tel.archives-ouvertes.fr/tel-00286254
Contributor : Thèses Imag <>
Submitted on : Monday, June 9, 2008 - 9:36:19 AM
Last modification on : Monday, June 9, 2008 - 10:25:05 AM

Identifiers

  • HAL Id : tel-00286254, version 1

Collections

UGA

Citation

Henri Saya. Définition et utilisation des S-L graphes en démonstration automatique. Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1975. French. <tel-00286254>

Export

Share

Metrics

Consultation de
la notice

83

Téléchargement du document

32