LDR
|
·····nam##22·····#a#4500
|
008
|
160922s2003####sp#d###f######001#0#spa#d
|
100 |
1# |
$a Paniagua Arís, Enrique. |
245 |
10 |
$a Lógica computacional / $c Enrique Paniagua Arís, Juan Luis Sánchez González, Fernando Martín Rubio. |
260 |
## |
$a Madrid : $b Thomson, $c 2003. |
300 |
## |
$a xiv, 205 p. : $b cuad. ; $c 25 cm. |
500 |
## |
$a Contiene bibliografía e índice analítico. |
653 |
## |
$a LOGICA Y SINTAXIS. |
653 |
## |
$a LOGICA Y SEMANTICA. |
653 |
## |
$a METODO AXIOMATICO. |
653 |
## |
$a METODO INTERPRETATIVO. |
653 |
## |
$a DEMOSTRACION DE TEOREMAS. |
653 |
## |
$a AGENTES INTELIGENTES. |
700 |
1# |
$a Sánchez González, Juan Luis. |
700 |
1# |
$a Rubio, Fernando Martín. |