 |
|
Habilitation à diriger des recherches
Langage de spécifications
Résumé : Preuves de programmes et intelligence artificielle. Types. Syntaxe: état du langage, analyse syntaxique, extensions, inférence, apprentissage, performance de l'analyse syntaxique. Sémantique déductive. Utilisation-prolongements
https://tel.archives-ouvertes.fr/tel-00288658
Contributor : Thèses Imag <>
Submitted on : Wednesday, June 18, 2008 - 8:04:51 AM
Last modification on : Friday, November 6, 2020 - 4:08:44 AM
Long-term archiving on: : Friday, May 28, 2010 - 7:28:02 PM
Contributor : Thèses Imag <>
Submitted on : Wednesday, June 18, 2008 - 8:04:51 AM
Last modification on : Friday, November 6, 2020 - 4:08:44 AM
Long-term archiving on: : Friday, May 28, 2010 - 7:28:02 PM