Langage de spécifications

Langage de spécifications

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

Bibliographic Details
Main Author: Caplain, Michel
Language:FRE
Published: 1978
Subjects:
[INFO:INFO_MO] Computer Science/Modeling and Simulation
langages
programmation
automatique
intelligence artificielle
syntaxe
analyse
test
interprétation
Online Access:http://tel.archives-ouvertes.fr/tel-00288658
http://tel.archives-ouvertes.fr/docs/00/28/86/58/PDF/Caplain.Michel_1978_these.pdf

Internet

http://tel.archives-ouvertes.fr/tel-00288658
http://tel.archives-ouvertes.fr/docs/00/28/86/58/PDF/Caplain.Michel_1978_these.pdf

Similar Items