LÓGICA PARA LA COMPUTACIÓN TEORÍAS DE PRIMER ORDEN, RESOLUCIÓN Y ELEMENTOS DE PROGRAMACIÓN LÓGICA Y PROLOG
003.131 L36
De Ledesma, Luis
De Ledesma, Luis,Alfaomega,2010
23 cm
Teorías de primer orden-- Resolución-- Elementos de programación lógica y PROLOG--
N° |
N° de Ingreso |
Ubicacion | Estado |
Uso para |
1
|
28057
|
BIBLIOTECA CENTRAL |
DISPONIBLE
|
SALA
|
2
|
28058
|
BIBLIOTECA CENTRAL |
DISPONIBLE
|
DOMICILIO
|
3
|
28059
|
BIBLIOTECA CENTRAL |
DISPONIBLE
|
DOMICILIO
|
4
|
45348
|
BIBLIOTECA DE LA FACULTAD DE INGENIERIA |
DISPONIBLE
|
SALA
|
5
|
45349
|
BIBLIOTECA DE LA FACULTAD DE INGENIERIA |
DISPONIBLE
|
SALA
|
