Programación declarativa cualificada con restricciones
La incorporación del razonamiento con incertidumbre a la programación declarativa y, en especial, a la programación lógica ha sido objeto de investigación en las últimas décadas. En este periodo, se han aportado diversas propuestas con este propósito así como diferentes aplicaciones prácti...
Main Author: | Romero Díaz, Carlos Alberto |
---|---|
Corporate Author: | e-libro, Corp |
Format: | Libros Digitales |
Language: | Spanish |
Published: |
Madrid :
Universidad Complutense de Madrid,
2011.
|
Subjects: | |
Online Access: | https://elibro.net/ereader/elibrounam/89472 |
Similar Items
-
Depuración declarativa y verificación heterogénea en Maude Declarative debugging and heterogeneous verification in Maude /
by: Riesco Rodríguez, Adrián
Published: (2011) -
Un esquema de programación lógicofuncional con restricciones: marco teórico y aplicación a la depuración declarativa : marco teórico y aplicación a la depuración declarativa /
by: Vado Vírseda, Rafael del
Published: (2009) -
Neuroscheme un lenguaje para el modelamiento de redes neuronales artificiales /
by: Velásquez Henao, Juan David
Published: (2005) -
Programación /
by: Moreno Pérez, Juan Carlos
Published: (2014) -
Cooperación entre dominios de restricciones y estrategias de cooperación en el contexto CFLP /
by: Estévez Martín, Sonia
Published: (2015)