Mathematical logic for computer science

Mathematical logic for computer science

Guardado en:

Detalles Bibliográficos
Autor principal:	Ben-Ari Mordechai
Formato:	Libros domicilio
Lenguaje:	Inglés
Publicado:	Londres Springer 1993
Edición:	2. ed.
Materias:	Lógica matemática Cálculo Soporte lógico de computadores Informática DADO DE BAJA Ejercicios Computadoras científicas

Ejemplares similares

Introduction to mathematical logic
por: Mendelson Elliot

Mundo Linux
por: Spaciuk Diego M.
Publicado: (2007)

Redes GNU/Linux manual del administrador
por: Spinella Emiliano Fancisco
Publicado: (2007)

La biblia de la programación implementación y debugging
por: Cantone Dante
Publicado: (2006)

Redes Cisco instalación y administración de hardware y software
por: Benchimol Daniel
Publicado: (2010)

Sistemas operativos modernos
por: Tanenbaum Andrew S.
Publicado: (2009)

UML domine el lenguaje de modelado más utilizado en la actualidad
por: Asteasuain Fernando
Publicado: (2009)

PC desde cero
por: Katcheroff Pablo
Publicado: (2008)

PC total
por: Spaciuk Diego M.
Publicado: (2007)

Enciclopedia de informática y computación hardware
por: Universidad Politécnica de Madrid Facultad de informática
Publicado: (1998)

Enciclopedia de informática y computación Ingeniería del software e inteligencia artificial
por: Universidad Politécnica de Madrid Facultad de ingeniería
Publicado: (1998)

Enciclopedia de informática y computación Software
por: Universidad Politécnica de Madrid Facultad de Ingeniería
Publicado: (1998)

Superblogger
por: Casale Fernando
Publicado: (2009)

PC total
por: Spaciuk Diego M.
Publicado: (2007)

Filosofía de las lógicas
por: Haack Susan
Publicado: (1982)

Introducción al simbolismo lógico
por: Bosch Jorge
Publicado: (1965)

Gráficas por computadora
por: Hearn Donald, et al.
Publicado: (1994)

No-Sí estoy de acuerdo claves de la argumentación
por: Durante Vicente José
Publicado: (1999)

Matemáticas para videojuegos en 3D
por: Lengyel Eric
Publicado: (2011)

Interactive Physics for windows and macintosh user' s manual
Publicado: (1994)

Autómatas programables programación. Automatismo y lógica programada
por: Simon André
Publicado: (1995)

Conceptos y problemas de la lógica moderna
por: Hasenjaeger Gisbert
Publicado: (1968)

Introducción a la lógica modal
por: Hughes G.E., et al.
Publicado: (1973)

Lógica y lenguajes formales/2 sistemas de primer orden y deducción
por: Lungarzo Carlos
Publicado: (1986)

Lógica y lenguajes formales/1 lenguaje, conjuntos y estructuras
por: Lungarzo Carlos
Publicado: (1986)

Software de nutrición especializado en men patologías crónicas
por: Ara Ivanna, et al.

Principios de sistemas de información un enfoque administrativo
por: Stair Ralph, et al.
Publicado: (2010)

Camino al futuro
por: Gates Bill
Publicado: (1995)

Reparación de componentes
por: Cottino Damián
Publicado: (2008)

Introducción a la metamatemática
por: Kleene Stephen Cole
Publicado: (1974)

Portátiles
Publicado: (2001)

Lógica combinatoria
por: Curry Haskell B.
Publicado: (1967)

Actualizar la PC claves, consejos y trucos para armar y mejorar tu computadora
por: Burgos Andrés
Publicado: (2006)

Mathematical methods in linguistics
por: Partee Barbara H., et al.
Publicado: (1990)

Administrador de redes instalación, configuaración y mantenimiento desde cero
por: Budris Paula, et al.
Publicado: ([2007])

Estudios sobre lógica y psicología
por: Piaget Jean
Publicado: (1994)

Robótica práctica tecnología y aplicaciones
por: Angulo Usategui José Ma.
Publicado: (2000)

Formulario de matemática álgebra, análisis, geometría analítica
por: Navarro E.
Publicado: ([19??])

El segundo yo las computadoras y el espíritu humano
por: Turkle Sherry
Publicado: (1984)

Cálculo con geometría analítica
por: Zill Dennis G.
Publicado: (1987)