Lógica para la Computación : Teoría de primer orden, resolución y elementos de programación lógica y prolog / Luis de Ledesma
Idioma: Español Detalles de publicación: México : Alfaomega, 2010Descripción: 177p. ; 17 x 23 cmISBN: 9786077854333Tema(s): Computación - ProgramaciónClasificación CDD: 005.101
Contenidos:
1. Teorías de primer orden -- 2. Resolución -- 3. Elementos de programación lógica y prolog
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libros
|
HUASTECA | Colección General | 005.101 L4988l 2010 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | HST000269 |
Navegando HUASTECA Estantes, Código de colección: Colección General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| 005.1 Sn19i Ingeniería del software : | 005.1 So558i 2002 Ingeniería de software / | 005.1 So558i 2011 Ingeniería de software / | 005.101 L4988l 2010 Lógica para la Computación : | 005.117 L9597e Estructuras de datos orientadas a objetos : | 005.117 L9597e Estructuras de datos orientadas a objetos : | 005.117 L9597m 2013 Metodología de la programación orientada a objetos / |
Incluye índice. índice alfabéticoy referencias
1. Teorías de primer orden -- 2. Resolución -- 3. Elementos de programación lógica y prolog
C52