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...
Na minha lista:
| Publicado no: | Revista Avances en Sistemas e Informática |
|---|---|
| Autor principal: | |
| Formato: | Artigo |
| Idioma: | Espanhol |
| Publicado em: |
Universidad Nacional de Colombia
2009
|
| Assuntos: | |
| Acesso em linha: | https://www.redalyc.org/articulo.oa?id=133112608007 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|