Définition et utilisation des S-L graphes en démonstration automatique - TEL - Thèses en ligne Access content directly
Theses Year : 1975

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

Domains

Modeling and Simulation
Fichier principal
Vignette du fichier
Thses_Saya.Henri_1975.pdf (7.09 Mo) Télécharger le fichier

Thèses Imag  : Connect in order to contact the contributor

https://theses.hal.science/tel-00286254

Submitted on : Monday, June 9, 2008-9:36:19 AM

Last modification on : Thursday, April 4, 2024-6:20:36 PM

Long-term archiving on: Friday, May 28, 2010-7:15:18 PM

Download

Dates and versions

tel-00286254 , version 1 (09-06-2008)

Identifiers

  • HAL Id : tel-00286254 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS TDS-MACS
159 View
46 Download

Share

Gmail Facebook X LinkedIn More