UN LANGAGE POUR MANIPULER LES ENSEMBLES : MANENS
MANENS EST UN LANGAGE APPLICATIF CONCUS POUR MANIPULER DES ENSEMBLES. DEFINITION DE LA COLLECTION D DES OBJETS MANIPULABLES ET DES META-FONCTIONS. DESCRIPTION DU LANGAGE PROPREMENT DIT (SYNTAXE ET SEMANTIQUE) ET DU FONCTIONNEMENT DU SYSTEME QUI GERE LES DEFINITIONS ET EVALUE LES EXPRESSIONS. DESCRIP...
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Thèse et Mémoire papier |
| Jezik: | Français |
| Izdano: |
[S.l.] :
[s.n.]
1982.
|
| Teme: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | A LANGUAGE FOR MANIPULATING SETS: MANENS |
| LEADER | 01551nam a22002297a 4500 | ||
|---|---|---|---|
| 001 | 31769 | ||
| 008 | 990313s1982 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN042495717 | ||
| 041 | 0 | |a fre |b fre | |
| 084 | |a 001.D.02 | ||
| 084 | |a 510 | ||
| 100 | 1 | |a Le Berre, François. | |
| 240 | 1 | 0 | |a A LANGUAGE FOR MANIPULATING SETS: MANENS |
| 245 | 1 | 0 | |a UN LANGAGE POUR MANIPULER LES ENSEMBLES : |b MANENS |c FRANCOIS LE BERRE. |
| 260 | |a [S.l.] : |b [s.n.], |c 1982. | ||
| 300 | |a 242 P. ; |c 30 cm. | ||
| 502 | |a Thèse D'ETAT. Mathématiques. Paris 7. 1982 | ||
| 504 | |a 42 REF. | ||
| 520 | |a MANENS EST UN LANGAGE APPLICATIF CONCUS POUR MANIPULER DES ENSEMBLES. DEFINITION DE LA COLLECTION D DES OBJETS MANIPULABLES ET DES META-FONCTIONS. DESCRIPTION DU LANGAGE PROPREMENT DIT (SYNTAXE ET SEMANTIQUE) ET DU FONCTIONNEMENT DU SYSTEME QUI GERE LES DEFINITIONS ET EVALUE LES EXPRESSIONS. DESCRIPTION DE L'IMPLEMENTATION ACTUELLEMENT REALISE SUR POP 10. EXEMPLES TRAITES DANS LE LANGAGE, EN PARTICULIER LA RECHERCHE DE L'AUTOMATE MINIMAL EQUIVALENT A UN AUTOMATE FINI DONNE. DEMONSTRATION DE L'EXISTENCE DE DOMAINES D CONTENANT LES FONCTIONS ACCEPTABLES DE D DANS D; OUTRE DES PROPRIETES DES OBJETS DEFINIS TOUTES LES CONSEQUENCES QUANT A LA SEMANTIQUE DE MANENS. COMPARAISON DE MANENS AVEC SETL EN PARTICULIER | ||
| 650 | |a Thèses et écrits académiques | ||
| 710 | 2 | |a Université Paris Diderot - Paris 7. |4 dgg | |
| 997 | |0 31769 |1 Thèse et Mémoire papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, TS1 1982 9 | ||