Applied logic for computer scientists : computational deduction and formal proofs /
Autor principal: | Ayala-Rincón, Mauricio |
---|---|
Otros Autores: | de Moura, Flávio L. C. (creador) |
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Cham, Suiza :
Springer,
2017.
|
Edición: | 1 edición |
Materias: |
Ejemplares similares
-
Lógica simbólica básica /
por: Camacho-Naranjo, Luis-Angel
Publicado: (2003) -
An introduction to Lambda Calculi for computer scientists. Volume 2 /
por: Hankin, Chris
Publicado: (2004) -
Fundamentos de matemáticas y lógica /
por: Gutiérrez-González, Eduardo
Publicado: (1998) -
El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
por: George, Kemel
Publicado: (2020) -
Matemáticas para la computación /
por: Jiménez-Murillo, José Alfredo
Publicado: (2015)