Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG /

Detalles Bibliográficos
Autor principal: Ledesma, Luis de (Autor, Autor/a)
Formato: Libro
Lenguaje:Spanish
Publicado: México, Distrito Federal : Alfaomega, 2009, c2010.
Edición:1. edición
Materias:
LEADER 01008nam a2200277uu 4500
001 000135331
005 20130423164413.0
008 110921s2009 mx ||||| spa
020 |a 9786077854333 
035 |a 9305880 
040 |a  Sistema de Bibliotecas de Universidad de Costa Rica  
041 0 |a spa 
082 0 |a 005.115  |b L473L  |2 23 
100 1 |a Ledesma, Luis de  |e Autor/a  |4 aut 
245 1 0 |a Lógica para la computación :  |b teorías de primer orden, resolución y elementos de programación lógica y PROLOG /  |c Luis de Ledesma 
250 |a 1. edición 
260 |a México, Distrito Federal :  |b Alfaomega,  |c 2009, c2010. 
300 |a 177 páginas :  |b ilustraciones 
650 |a PROGRAMACION LOGICA 
650 |a PROLOG (LENGUAJE DE PROGRAMACION PARA COMPUTADORA) 
650 |a LOGICA DE PRIMER ORDEN 
912 |a 23-APR-2013 - FONSECA ROJAS, JIMENA 
915 |a 26-SEP-2011 
917 |a 21-SEP-2011 - CALDERON ZUÑIGA, ANA CRISTINA 
949 |a ABR -ACC 
916 |a Centro Catalográfico