Lógica para la computación / Ledesma, Luis de

Título : Lógica para la computación : Teorias de primer orden, resolución y elementos de programacion lógica y prolog Tipo de documento: texto impreso Autores: Ledesma, Luis de, Autor Editorial: México : Alfaomega/Ra-ma Fecha de publicación: 2009 Número de páginas: 177 p. Dimensiones: 23 x 17 cm ISBN/ISSN/DL: 978-607-7854-33-3 Idioma : Español Palabras clave: Logica para computación Prenex Skolem Prolog Programación lógica teoría de Herbrand Clasificación: 005.133; L 434 Nota de contenido: Teorias de primer orden - Resolucion - Elementos de programacion logica y prologacion Lógica para la computación : Teorias de primer orden, resolución y elementos de programacion lógica y prolog [texto impreso] / Ledesma, Luis de, Autor . - México : Alfaomega/Ra-ma, 2009 . - 177 p. ; 23 x 17 cm. ISBN : 978-607-7854-33-3 Idioma : Español Palabras clave: Logica para computación Prenex Skolem Prolog Programación lógica teoría de Herbrand Clasificación: 005.133; L 434 Nota de contenido: Teorias de primer orden - Resolucion - Elementos de programacion logica y prologacion

Ejemplares

					Estado
304966	005.133; L 434; Ej. 01	Libro	bibexa	Informatica	Disponible
292649	005.133; L 434; Ej. 01	Libro	bibexa	Informatica	Disponible

---

page 1/1