Catálogo en línea Biblioteca Central SIGB-UNAP

Lógica para la computación / Luis De Ledesma / Alfaomega Grupo Editor (2010)

Título :	Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG
Tipo de documento:	texto impreso
Autores:	Luis De Ledesma, Autor
Mención de edición:	Primera edición
Editorial:	Alfaomega Grupo Editor
Fecha de publicación:	2010
Número de páginas:	177 páginas
Il.:	diagramas
Dimensiones:	23 cm
ISBN/ISSN/DL:	978-607-7854-33-3
Nota general:	Incluye apéndices, orden, referencias bibliográficas, índice alfabético
Idioma :	Español (spa)
Clasificación:	306.89 Separación y divorcio
Nota de contenido:	Teorías de primer orden -- Resolución -- Elementos de programación lógica y prolog.
Link:	https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=86200

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
34-1213-01	005.4 D36	Libros	Bib. Esp. Ing Civil	Estanteria (Libros)	Disponible
22-2354-01	005.4 D36	Libros	Bib. Esp. Ing Estadistica e Informática	Estanteria (Libros)	Disponible
23-1252-01	005.4 D36	Libros	Bib. Esp. Ing Sistemas	Estanteria (Libros)	Disponible
23-1871-02	005.4 D36	Libros	Bib. Esp. Ing Sistemas	Estanteria (Libros)	Disponible

Lógica para la computación