Un sistema de restricciones anotado
En la programación concurrente con restricciones, el concepto básico es el de sistema de restricciones. Aquí presentamos una innovación sobre los sistemas de restricciones al introducir una lógica anotada como componente sintáctico y semántico junto con un motor de inferencia lógica en hiperresoluci...
Enregistré dans:
| Publié dans: | Revista Avances en Sistemas e Informática |
|---|---|
| Auteur principal: | |
| Format: | Artigo |
| Langue: | Espanhol |
| Publié: |
Universidad Nacional de Colombia
2009
|
| Sujets: | |
| Accès en ligne: | https://www.redalyc.org/articulo.oa?id=133112608007 |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|