 |
|
|
|
| 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: | |||||
|
|||||
|
|
|
| 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 |
| . |
| tel-00286254, version 1 | |
| http://tel.archives-ouvertes.fr/tel-00286254 | |
| oai:tel.archives-ouvertes.fr:tel-00286254 | |
| From: Thèses Imag | |
| Submitted on: Monday, 9 June 2008 09:36:19 | |
| Updated on: Monday, 9 June 2008 10:25:05 | |
