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...
保存先:
| 出版年: | Revista Avances en Sistemas e Informática |
|---|---|
| 第一著者: | |
| フォーマット: | Artigo |
| 言語: | Espanhol |
| 出版事項: |
Universidad Nacional de Colombia
2009
|
| 主題: | |
| オンライン･アクセス: | https://www.redalyc.org/articulo.oa?id=133112608007 |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|