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
id ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-00288658
record_format oai_dc
spelling ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-002886582013-01-07T18:34:09Z http://tel.archives-ouvertes.fr/tel-00288658 http://tel.archives-ouvertes.fr/docs/00/28/86/58/PDF/Caplain.Michel_1978_these.pdf Langage de spécifications Caplain, Michel [INFO:INFO_MO] Computer Science/Modeling and Simulation langages programmation automatique intelligence artificielle syntaxe analyse test interprétation 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 1978-12-20 FRE habilitation ࠤiriger des recherches
collection NDLTD
language FRE
sources NDLTD
topic [INFO:INFO_MO] Computer Science/Modeling and Simulation
langages
programmation
automatique
intelligence artificielle
syntaxe
analyse
test
interprétation
spellingShingle [INFO:INFO_MO] Computer Science/Modeling and Simulation
langages
programmation
automatique
intelligence artificielle
syntaxe
analyse
test
interprétation
Caplain, Michel
Langage de spécifications
description 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
author Caplain, Michel
author_facet Caplain, Michel
author_sort Caplain, Michel
title Langage de spécifications
title_short Langage de spécifications
title_full Langage de spécifications
title_fullStr Langage de spécifications
title_full_unstemmed Langage de spécifications
title_sort langage de spécifications
publishDate 1978
url http://tel.archives-ouvertes.fr/tel-00288658
http://tel.archives-ouvertes.fr/docs/00/28/86/58/PDF/Caplain.Michel_1978_these.pdf
work_keys_str_mv AT caplainmichel langagedespecifications
_version_ 1716453679303753728

Similar Items