Universidad Nacional del Altiplano
Sistema de Bibliotecas al servicio de la comunidad universitaria
Centro de Recursos para el Aprendizaje
Infraestructura moderna al servicio de la investigación
Espacios para el Estudio e Investigación
Ambientes cómodos y equipados para nuestros estudiantes
Lago Titicaca, Patrimonio Cultural
La universidad más importante del altiplano peruano
Biblioteca Virtual y Repositorio Institucional
Accede a tesis, libros electrónicos y bases de datos académicas
Fachada de la Biblioteca Central UNAP
Más de 120,000 títulos disponibles en nuestras colecciones
Colecciones Especializadas
Libros, revistas y material de consulta para todas las áreas del conocimiento
Edificio Central Universitario
Formando profesionales desde 1856
Biblioteca Central UNAP
Un espacio emblemático de nuestra universidad
Personal del Sistema de Bibliotecas
Profesionales comprometidos con el servicio a la comunidad
Islas Flotantes de los Uros
Preservando la riqueza cultural del altiplano
Información del autor
Autor Luis De Ledesma |
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar búsqueda
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 referencias bibliográficas: páginas 171-174 Idioma : Español (spa) Clasificación: [Agneaux] Programación de sistemas Clasificación: 005.4 Programación y programas de sistemas 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 Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG [texto impreso] / Luis De Ledesma, Autor . - Primera edición . - Alfaomega Grupo Editor, 2010 . - 177 páginas : diagramas ; 23 cm.
ISBN : 978-607-7854-33-3
Incluye referencias bibliográficas: páginas 171-174
Idioma : Español (spa)
Clasificación: [Agneaux] Programación de sistemas Clasificación: 005.4 Programación y programas de sistemas 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
Lógica para la computación
De Ledesma, Luis - México : Alfaomega Grupo Editor - 2010
Incluye referencias bibliográficas: páginas 171-174
Teorías de primer orden -- Resolución -- Elementos de programación lógica y prolog.
Reserva
Reservar este documento
Ejemplares (4)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 34-1213-01 005.4 D36 Libros Bib. Esp. Ciencias Fís. Matemáticas 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

