Preuves de descriptions de traitements de textes par attributs
- FR UMR7117 CP-B-2-d-CP193
- Pièce
- 1976-03
Fait partie de Fonds Claude Pair
IRIA Laboria, Laboratoire de recherche en informatique et automatique,
Preuves de descriptions de traitements de textes par attributs, C. Pair, M. Amichahy, D. Néel,
Rapport de recherche n°163
Claude Pair