Marc 21
|
| 001 |
|
185 |
| 003 |
|
BfC |
| 005 |
|
27112023122734 |
| 006 |
$m |
27112023122734 |
| 020 |
|
978-8483223680 |
| 100 |
|
JULIAN IRANZO, PASCUAL |
|
$q |
PASCUAL JULIAN IRANZO |
| 245 |
|
PROGRAMACION LÓGICA (TEORIA Y PRACTICA) |
| 246 |
|
Depuración , verificación , certificación |
|
$b |
Incluye portada |
| 260 |
|
ESPAÑA,MADRID : PEARSON - PRENTICE HALL; 2007. |
|
$a |
ESPAÑA,MADRID |
|
$b |
PEARSON - PRENTICE HALL |
|
$c |
2007 |
| 300 |
|
470 p. gráficos, figuras, formulas; 25 cm.; |
|
$a |
470 p. |
|
$b |
gráficos, figuras, formulas |
|
$c |
25 cm. |
| 500 |
|
contiene índice de figuras, índice de tablas |
| 500 |
$3 |
1 |
| 504 |
|
453 - 463 pp. |
| 520 |
|
La programación declarativa se basa en la idea de utilizar un cierto tipo de lógica
como lenguaje de programación. Esto incluye tanto la programación lógica (o relacional,
que usa un lenguaje para programar y el principio de resolución como mecanismo
de ejecución) como la funcional (que usa el lenguaje de las funciones matemáticas y la
reducción de expresiones como mecanismo computacional).
Este libro aspira a desarrollar una presentación básica completa del paradigma de la
programación lógica. Así, aunque se dedica una gran atención a los conceptos de base y
se proporciona para ellos una formación en amplitud no exenta de profundidad, también
se concede gran importancia a las aplicaciones prácticas |
| 521 |
|
Cualquier público |
| 546 |
|
Español |
| 650 |
|
PROGRAMACION;LOGICA; DEPURACION; PROLOG |
| 700 |
|
ALPUENTE FRANSNEDO, MARIA |
| 850 |
|
Biblioteca de Computación y Telecomunicaciones |
| 856 |
|
public/libros/185BfC/html/index.html |