Lógica para informáticos /

Código QR

Lógica para informáticos /

Detalles Bibliográficos
Otros Autores:	Nieuwenhuis, Robert, Nivela Alós, Pilar, Farré Cirera, Rafael, Oliveras Llunell, Albert, Rodríguez Carbonell, Enric, Sierra Santibáñez, Josefina
Formato:	Libro
Lenguaje:	Spanish
Publicado:	México : Alfaomega Grupo Editor, 2012.
Edición:	1 edición
Materias:	Lógica computacional Programación lógica Computación Ejercicios libros

Ejemplares similares

An introduction to Lambda Calculi for computer scientists. Volume 2 /
por: Hankin, Chris
Publicado: (2004)

Lógica simbólica básica /
por: Camacho-Naranjo, Luis-Angel
Publicado: (2003)

Advances in fuzzy implication functions /
Publicado: (2013)

The secret life of programs : understand computers - craft better code /
por: Steinhart, Jonathan E.
Publicado: (2019)

Introducción a la lógica /
por: Camacho-Naranjo, Luis
Publicado: (2002)

Program construction : calculating implementations from specifications. /
por: Backhouse, Roland
Publicado: (2003)

Introducción a la lógica y al método científico 1 /
por: Cohen, Morris R.
Publicado: (2001)

El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
por: George, Kemel
Publicado: (2020)

Fundamentos de matemáticas y lógica /
por: Gutiérrez-González, Eduardo
Publicado: (1998)

Organización y arquitectura de computadores : diseño para optimizar prestaciones /
por: Stallings, William
Publicado: (2000)

Los avances de la inteligencia artificial /
por: Garrido, Ángel
Publicado: (2020)

Lógica y teoría de conjuntos /
por: Arroyo Hernández, Jorge
Publicado: (2018)

Microelectronics /
por: Hallmark, Clayton L.
Publicado: (1976)

Introducción a la lógica y al método científico 2 /
por: Cohen, Morris R.
Publicado: (2001)

Introducción a la lógica /
por: Beuchot, Mauricio
Publicado: (2011)

Diseño y construcción de algoritmos /
por: Mancilla-Herrera, Alfonso
Publicado: (2019)

Computational complexity : a modern approach /
por: Arora, Sanjeev
Publicado: (2009)

C++ Guía de autoenseñanza /
por: Schilt, Herbert
Publicado: (1995)

An introduction to fuzzy logic applications in intelligent systems /
Publicado: (1992)

Applied logic for computer scientists : computational deduction and formal proofs /
por: Ayala-Rincón, Mauricio
Publicado: (2017)

Lenguaje de programación : diseño e implementación /
por: Pratt, Terrence W.
Publicado: (1997)

Introducción a la lógica /
por: Camacho-Naranjo, Luis
Publicado: (2015)

Logical foundations of artificial intelligence /
por: Genesereth, Michael R.
Publicado: (1987)

Computabilidad y computación cuántica : revisión de modelos alternativos de computación /
por: Morales-Luna, Guillermo

Kablok : diseño e implementación de un lenguaje aplicativo con variables libres, no determinismo y unificación /
por: Díaz-Oreiro, Ignacio
Publicado: (1995)

An Introduction to Functional Programming Through Lambda Calculus. /
por: Michaelson, Greg
Publicado: (2011)

Diseño de una infraestructura de computación de alto rendimiento para objetos paralelos en un lenguaje de alto nivel /
por: Meneses, Esteban
Publicado: (2017)

Java 2 : Manual de usuario y tutorial.
por: Froufe-Quintas, Agustín
Publicado: (2009)

Programación en Java 2 : algoritmos, estructuras de datos y programación orientada a objetos /
por: Joyanes-Aguilar, Luis
Publicado: (2002)

Introducción a la programación con Scheme /
por: Helo-Guzmán, José E.
Publicado: (2000)

Lenguaje icónico orientado a objetos para especificar condiciones en Iyulú /
por: Rodríguez-Cháves, Arnoldo
Publicado: (1977)

Programming Language Design Concepts. /
por: Watt, David A.
Publicado: (2004)

Beginning Microsoft® SQL Server 2012® Programming /
por: Atkinson P.
Publicado: (2012)

El Lenguaje de programacion C /
por: Kernighan, Brian W.
Publicado: (1989)

Java 2 : manual de referencia. /
por: Schildt, Herbert
Publicado: (2001)

Resolución de problemas con C++ : el objetivo de la programación /
por: Savitch, Walter
Publicado: (2000)

Programming and problem solving with C++ /
por: Dale, Nell
Publicado: (2010)

Pro T-SQL 2008 : programmer`s guide.
por: Coles, Michael
Publicado: (2008)

Desarrollo de una notación y herramienta de visualización de datos para mejorar la capacidad de análisis de procedimientos almacenados SQL. /
por: Carvajal-González, Erick
Publicado: (2017)

Curso de lógica y teoría de conjuntos /
por: Alfaro-Carvajal, Cristian
Publicado: (2015)