Applied logic for computer scientists : computational deduction and formal proofs /

QR Code

Applied logic for computer scientists : computational deduction and formal proofs /

Bibliographic Details
Main Author:	Ayala-Rincón, Mauricio
Other Authors:	de Moura, Flávio L. C. (creador)
Format:	Book
Language:	English
Published:	Cham, Suiza : Springer, 2017.
Edition:	1 edición
Subjects:	Lógica computacional Informática > Matemáticas Lógica simbólica y matemática Matemáticas > Lenguajes formales Funciones algebraicas Libros electrónicos

Similar Items

Lógica simbólica básica /
by: Camacho-Naranjo, Luis-Angel
Published: (2003)

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

Fundamentos de matemáticas y lógica /
by: Gutiérrez-González, Eduardo
Published: (1998)

El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
by: George, Kemel
Published: (2020)

Automated deduction - CADE 26 /
Published: (2017)

Matemáticas para la computación /
by: Jiménez-Murillo, José Alfredo
Published: (2015)

An introduction to distance geometry applied to molecular geometry /
by: Lavor, Carlile
Published: (2017)

Fuzzy logic with engineering applications. /
by: Ross, Timothy J.
Published: (2017)

Applied and numerical partial differential equations : scientific computing in simulation, optimization and control in a multidisciplinary context /
Published: (2010)

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

Lógica y teoría de conjuntos /
by: Arroyo Hernández, Jorge
Published: (2018)

Applied numerical methods with Matlab for engineers and scientists /
by: Chapra, Steven,
Published: (2022)

Lógica para informáticos /
Published: (2012)

Introducción a la matemática discreta /
by: Murillo-Tsijli, Manuel,
Published: (2018)

Problemas de decisión y recursividad en sistemas lógicos formales = Decision problems and recursiveness in formal logic systems /
by: Martínez, Iveth

Los avances de la inteligencia artificial /
by: Garrido, Ángel
Published: (2020)

How to think like a computer scientist : learning with Python /
by: Downey, Allen
Published: (2002)

Introducción a la lógica /
by: Beuchot, Mauricio
Published: (2011)

Álgebra universitaria y trigonometría /
by: Miller, Julie
Published: (2019)

Introductory computational physics /
by: Klein, Andi
Published: (2006)

IEEE Computer Architecture Letters.

Logical foundations of artificial intelligence /
by: Genesereth, Michael R.
Published: (1987)

Precálculo con avances de cálculo /
by: Zill G., Dennis
Published: (2012)

Program construction : calculating implementations from specifications. /
by: Backhouse, Roland
Published: (2003)

Computers and intractability : a guide to the theory of NP-Completeness. /
by: Garey, Michael R.
Published: (1979)

Introducción a la matemática formal desde las funciones /
by: Arias-Tencio, Floria
Published: (2010)

Introducción a la matemática discreta /
by: Murillo-Tsijli, Manuel,
Published: (2007)

A survey of computational physics : introductory computational science /
by: Landau, Rubin H.
Published: (2011)

Integración y matemáticas financieras /
Published: (1999)

Matemáticas discretas : aplicaciones y ejercicios /
by: Villalpando-Becerra, José Francisco
Published: (2014)

Introducción a la matemática discreta /
by: Murillo-Tsijli, Manuel
Published: (2010)

An outline of mathematical logic : fundamental results and notions explained with all details /
by: Grzegorczyk, Andrzej.
Published: (1974)

Computational Neuroscience : Trends in Research, 1998 /
Published: (1998)

Matemática introductoria /
by: Murillo-Tsijli, Manuel,
Published: (2024)

Applied pattern recognition /
Published: (2008)

Applications of computational intelligence in biology : current trends and open problems /
Published: (2008)

Applying fuzzy mathematics to formal models in comparative politics /
Published: (2008)

Advances of computational intelligence in industrial systems /
Published: (2008)

Applied computer sciences in engineering /
Published: (2017)

Applying computational intelligence : how to create value /
by: Kordon, Arthur
Published: (2010)