Skip to Main content Skip to Navigation
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
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

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

Identifiers

  • HAL Id : tel-00288658, version 1

Collections

Citation

Michel Caplain. Langage de spécifications. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1978. ⟨tel-00288658⟩

Share

Metrics

Record views

301

Files downloads

178