LÓGICA COMPUTACIONAL
Por: RAMOS LOVON, WILBER | [Autor].
Colaborador(es): RAMOS LOVON, WILBER.
Editor: AREQUIPA ; UNIVERSIDAD CATOLICA DE SANTA MARIA ; 2013Edición: 1A. ed.Descripción: 108; 29.0.Tema(s): LÓGICA COMPUTACIONALClasificació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 | Ubicación actual | Colección | Signatura | 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) | 1c. | Disponible | 56301 | |
| Libros | Biblioteca Central | BIBCE-CSING (Biblioteca Central - 1er piso) | 005.131.RAMO.01 (Navegar estantería) | 1e. | Disponible | 56300 |
LOS FUNDAMENTOS
. -- UNA PANORÁMICA DE LA PROGRAMACIÓN DECLARATIVA
. -- SISTEMAS FORMALES Y LÓGICA DE PROPOSICIONES
. -- LÓGICAS
. -- LÓGICA DE PREDICADOS
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios para este ejemplar.