Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
Lógica para informáticos /
Similar Items
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to RDF
Export to BibTeX
Export to RIS
Lógica para informáticos /
Bibliographic Details
Other Authors:
Nieuwenhuis, Robert
,
Nivela Alós, Pilar
,
Farré Cirera, Rafael
,
Oliveras Llunell, Albert
,
Rodríguez Carbonell, Enric
,
Sierra Santibáñez, Josefina
Format:
Book
Language:
Spanish
Published:
México :
Alfaomega Grupo Editor,
2012.
Edition:
1 edición
Subjects:
Lógica computacional
Programación lógica
Computación
Ejercicios
libros
Holdings
Description
Similar Items
Staff View
Similar Items
An introduction to Lambda Calculi for computer scientists. Volume 2 /
by: Hankin, Chris
Published: (2004)
Lógica simbólica básica /
by: Camacho-Naranjo, Luis-Angel
Published: (2003)
Advances in fuzzy implication functions /
Published: (2013)
The secret life of programs : understand computers - craft better code /
by: Steinhart, Jonathan E.
Published: (2019)
Introducción a la lógica /
by: Camacho-Naranjo, Luis
Published: (2002)
Program construction : calculating implementations from specifications. /
by: Backhouse, Roland
Published: (2003)
Introducción a la lógica y al método científico 1 /
by: Cohen, Morris R.
Published: (2001)
Fundamentos de matemáticas y lógica /
by: Gutiérrez-González, Eduardo
Published: (1998)
El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
by: George, Kemel
Published: (2020)
Organización y arquitectura de computadores : diseño para optimizar prestaciones /
by: Stallings, William
Published: (2000)
Los avances de la inteligencia artificial /
by: Garrido, Ángel
Published: (2020)
Lógica y teoría de conjuntos /
by: Arroyo Hernández, Jorge
Published: (2018)
Introducción a la lógica y al método científico 2 /
by: Cohen, Morris R.
Published: (2001)
Microelectronics /
by: Hallmark, Clayton L.
Published: (1976)
Introducción a la lógica /
by: Beuchot, Mauricio
Published: (2011)
Diseño y construcción de algoritmos /
by: Mancilla-Herrera, Alfonso
Published: (2019)
Computational complexity : a modern approach /
by: Arora, Sanjeev
Published: (2009)
C++ Guía de autoenseñanza /
by: Schilt, Herbert
Published: (1995)
Automated deduction - CADE 26 /
Published: (2017)
An introduction to fuzzy logic applications in intelligent systems /
Published: (1992)
Applied logic for computer scientists : computational deduction and formal proofs /
by: Ayala-Rincón, Mauricio
Published: (2017)
Introducción a la lógica /
by: Camacho-Naranjo, Luis
Published: (2015)
Lógica jurídica /
by: Freund, Max A.,
Published: (2007)
Lenguaje de programación : diseño e implementación /
by: Pratt, Terrence W.
Published: (1997)
Logical foundations of artificial intelligence /
by: Genesereth, Michael R.
Published: (1987)
Kablok : diseño e implementación de un lenguaje aplicativo con variables libres, no determinismo y unificación /
by: Díaz-Oreiro, Ignacio
Published: (1995)
Computabilidad y computación cuántica : revisión de modelos alternativos de computación /
by: Morales-Luna, Guillermo
An Introduction to Functional Programming Through Lambda Calculus. /
by: Michaelson, Greg
Published: (2011)
Diseño de una infraestructura de computación de alto rendimiento para objetos paralelos en un lenguaje de alto nivel /
by: Meneses, Esteban
Published: (2017)
Java 2 : Manual de usuario y tutorial.
by: Froufe-Quintas, Agustín
Published: (2009)
Programación en Java 2 : algoritmos, estructuras de datos y programación orientada a objetos /
by: Joyanes-Aguilar, Luis
Published: (2002)
Introducción a la programación con Scheme /
by: Helo-Guzmán, José E.
Published: (2000)
Beginning T-SQL 2008 /
by: Kellenberger, Kathi,
Published: (2009)
Programming Language Design Concepts. /
by: Watt, David A.
Published: (2004)
Lenguaje icónico orientado a objetos para especificar condiciones en Iyulú /
by: Rodríguez-Cháves, Arnoldo
Published: (1977)
Beginning Microsoft® SQL Server 2012® Programming /
by: Atkinson P.
Published: (2012)
Java 2 : manual de referencia. /
by: Schildt, Herbert
Published: (2001)
Resolución de problemas con C++ : el objetivo de la programación /
by: Savitch, Walter
Published: (2000)
El Lenguaje de programacion C /
by: Kernighan, Brian W.
Published: (1989)
Programming and problem solving with C++ /
by: Dale, Nell
Published: (2010)
Similar Items
An introduction to Lambda Calculi for computer scientists. Volume 2 /
by: Hankin, Chris
Published: (2004)
Lógica simbólica básica /
by: Camacho-Naranjo, Luis-Angel
Published: (2003)
Advances in fuzzy implication functions /
Published: (2013)
The secret life of programs : understand computers - craft better code /
by: Steinhart, Jonathan E.
Published: (2019)
Introducción a la lógica /
by: Camacho-Naranjo, Luis
Published: (2002)
×
Loading...