LÓGICA COMPUTACIONAL
Tipo de material: TextoDetalles de publicación: AREQUIPA; UNIVERSIDAD CATOLICA DE SANTA MARIA; 2013Edición: 1A. edDescripción: 108; 29.0Tema(s): Clasificación CDD:- 005.131.RAMO.01
Contenidos:
LOS FUNDAMENTOS
. -- UNA PANORÁMICA DE LA PROGRAMACIÓN DECLARATIVA
. -- SISTEMAS FORMALES Y LÓGICA DE PROPOSICIONES
. -- LÓGICAS
. -- LÓGICA DE PREDICADOS
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
Libros | Biblioteca Central | BIBCE-CSING (Biblioteca Central - 1er piso) | 005.131.RAMO.01 (Navegar estantería(Abre debajo)) | 1e. | Disponible | 56300 | ||
Libros | Biblioteca Central | BIBCE-CSING (Biblioteca Central - 1er piso) | 005.131.RAMO.01 (Navegar estantería(Abre debajo)) | 1c. | Disponible | 56301 |
LOS FUNDAMENTOS
. -- UNA PANORÁMICA DE LA PROGRAMACIÓN DECLARATIVA
. -- SISTEMAS FORMALES Y LÓGICA DE PROPOSICIONES
. -- LÓGICAS
. -- LÓGICA DE PREDICADOS
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.