Вы здесь

Главная

Univ. Paris VII

Связанные издания:

Categorical Abstract Data Type (CADT)
Les Grammeires Attribuees: Implantation, Applications, Optimisations
Un Langage pour Calculer sur des Ensembles