login
english version rss feed
Detailed view PhD thesis
Institut National Polytechnique de Grenoble - INPG Université Joseph-Fourier - Grenoble I (15/03/1975), G. Veillon (Dir.)
Attached file list to this document: 
PDF
Thses_Saya.Henri_1975.pdf(6.8 MB)
Définition et utilisation des S-L graphes en démonstration automatique
Henri Saya1

.
1:  IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble
intelligence artificielle – questions-réponses – documentation – programmes – programmation – compilation – décision – procédure de preuve

.

all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...