Skip to Main content Skip to Navigation
Theses

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

Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00286254
Contributor : Thèses Imag <>
Submitted on : Monday, June 9, 2008 - 9:36:19 AM
Last modification on : Friday, November 6, 2020 - 4:10:40 AM
Long-term archiving on: : Friday, May 28, 2010 - 7:15:18 PM

Identifiers

  • HAL Id : tel-00286254, version 1

Collections

Citation

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. ⟨tel-00286254⟩

Share

Metrics

Record views

301

Files downloads

81