skip to main content

SPECIFICATIONS SEMANTIQUES DANS LE SYSTEME MENTOR

Despeyroux, Thierry

S.l. : s.n., 1983

Voir les exemplaires  et autres localisations

  • Titre:
    SPECIFICATIONS SEMANTIQUES DANS LE SYSTEME MENTOR
  • Auteur: Despeyroux, Thierry
  • Sujets: SEMANTIQUE;
    H-LOGICIEL;
    H-INF.TH.
  • Description: Mines : FRA .
    Thèse de 3e cycle
    LA MOTIVATION DE CETTE THESE EST L'INTRODUCTION D'UNE FONCTIONNALITE SEMANTIQUE DANS LE SYSTEME MENTOR. PRESENTATION DE DEUX LANGAGES DE DEFINITION SEMANTIQUE. LE PREMIER FORMOL, EST FONDE SUR LA METHODE DENOTATIONNELLE ET A SERVI A LA REDACTION DE LA SEMANTIQUE FORMELLE DU LANGAGE ADA. LE SECOND, TYPOL, EST FONDE SUR LA METHODE OPERATIONNELLE ET PERMET DE SPECIFIER DES SEMANTIQUES A L'AIDE DE SYSTEMES DE REGLES D'INFERENCE. IMPLEMENTATION DU LANGAGE TYPOL REALISEE A L'AIDE D'UN SYSTEME PROLOG
  • Éditeur: S.l. : s.n.
  • Date de publication: 1983
  • Format: 191 P. ; 30 cm
  • Langue: Français
  • Identifiant: ISBN 2-7261-0398-7
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré