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: | Tesis eBook |
| Language: | Spanish |
| Published: |
Madrid :
Universidad Complutense de Madrid,
2011.
|
| Subjects: | |
| Online Access: | https://elibro.net/ereader/uninicaragua/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) -
Programación avanzada con Visual Basic 2005
by: Balena, Francesco.
Published: (2008) -
Neuroscheme un lenguaje para el modelamiento de redes neuronales artificiales /
by: Velásquez Henao, Juan David.
Published: (2005) -
Cooperación entre dominios de restricciones y estrategias de cooperación en el contexto CFLP /
by: Estévez Martín, Sonia.
Published: (2015)