CONTRIBUTION A LA REALISATION D'UNE SPECIFICATION FORMELLE POUR PROLOG
AU DEBUT DES ANNEES 80, UN GRAND NOMBRE DE VERSIONS DU LANGAGE PROLOG COHABITAIENT, DIFFERENCIEES PAR LEUR SYNTAXE, LES PREDICATS PREDEFINIS ET AUSSI LEUR SEMANTIQUE OPERATIONNELLE. L'AFNOR (ASSOCIATION FRANCAISE POUR LA NORMALISATION) ET LA BSI (BRITISH STANDARDS INSTITUTION) DECIDERENT EN 198...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Thèse et Mémoire papier |
| Sprache: | Français |
| Veröffentlicht: |
[S.l.] :
[s.n.]
1989.
|
| Schlagworte: | |
| Anmerkung: |
1989ORLE2026 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | A FORMAL SPECIFICATION OF PROLOG |