Su búsqueda retornó 8 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias
Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP) [Recurso Electrónico] / Miguel Ángel Romero González

por Romero González, Miguel Ángel | Rocha, Camilo [dr].

Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico ; Audiencia: Especializado; Editor: Bogotá (Colombia) : Escuela Colombiana de Ingeniería Julio Garavito, 2017Nota de disertación: Tesis (Ingeniería de Sistemas) Acceso en línea: Haga clic para acceso en línea Disponibilidad: Ítems disponibles para préstamo: Biblioteca Jorge Álvarez LlerasSignatura topográfica: 006 R763s TS (1).

Ambiente gráfico para el aprendizaje de lógica a traves de acertijos lógicos/ Julian Mauricio Jaramillo Alfonso y César Augusto Guzmán Amaya

por Jaramillo Alfonso, Julian Mauricio | Guzmán Amaya, César Augusto Chaparro Aguilar, Raúl Alfredo, dir.

Editor: Bogotá: Escuela Colombiana de Ingeniería 2007Disponibilidad: Ítems disponibles para préstamo: Biblioteca Jorge Álvarez LlerasSignatura topográfica: 003 J171a Ts (2).

Aplicación para el aprendizaje de la programación lógica/ DianaEsperanza Barrera Romero y Diego Mesa Sanabria

por Barrera Romero, Diana Esperanza | Mesa Sanabria, Diego Chaparro Aguilar, Raúl Alfredo [dir.].

Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: reformateado digital electrónico disco óptico Editor: Bogotá: Escuela Colombiana de Ingeniería 2008Disponibilidad: Ítems disponibles para préstamo: Biblioteca Jorge Álvarez LlerasSignatura topográfica: 003 B177a Ts DC (1).

Logic in computer science: modelling and reasoning about systems/ Michael Huth and Mark Ryan

por Huth, Michael | Ryan, Mark.

Editor: London: Cambridge University Press 2004Disponibilidad: No hay ítems disponibles : Reserva pendiente (1).

Lenguajes formales y teoría de autómatas finitos: fundamentos para la creación de un traductor / Darwin Mercado Polo y Emiro de la Hoz Franco

por Mercado Polo, Darwin | Hoz Franco, Emiro de la.

Editor: Barranquilla: Corporación Universitaria de la Costa, 2009Disponibilidad: Ítems disponibles para préstamo: BodegaSignatura topográfica: 004.3 M372L (1).

Diseño efectivo de programas correctos/ Jaime Alejandro Bohórquez Villamizar

por Bohórquez Villamizar, Jaime Alejandro.

Editor: Bogotá: Escuela Colombiana de Ingeniería 2006Disponibilidad: Ítems disponibles para préstamo: Biblioteca Jorge Álvarez LlerasSignatura topográfica: 005.3 B646d (6). Prestado (1).

The XLisp primer/ Bonnie J. Fladung

por Fladung, Bonnie J.

Idioma: Inglés Editor: Englewood Cliffs: Prentice Hall 1987Disponibilidad: Ítems disponibles para préstamo: BodegaSignatura topográfica: 005.133 F573l (1).

Lisp introducción al cálculo simbólico/ David S. Touretzky

por Touretzky, David S.

Idioma: Español Editor: Madrid: Díaz de Santos 1986Disponibilidad: Ítems disponibles para préstamo: Biblioteca Jorge Álvarez LlerasSignatura topográfica: 005.133 T727L (1), BodegaSignatura topográfica: 005.133 T727L (1).