Modeling Object Oriented Constraint Programs in Z
Résumé
no abstract
Article Dans Une Revue
RACSAM. Real Academia de Ciencias. Serie A, Matemáticas - Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A, Matemáticas
Année : 2004
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479589
Soumis le : mardi 28 février 2017-20:39:51
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479589 , version 1
Citer
Laurent Henocque. Modeling Object Oriented Constraint Programs in Z. RACSAM. Real Academia de Ciencias. Serie A, Matemáticas - Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A, Matemáticas, 2004, special issue on Symbolic Computation in Logic and Artificial Intelligence (98 (1--2)), pp.127--152. ⟨hal-01479589⟩
31
Consultations
0
Téléchargements