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

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

Detalles Bibliográficos
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:
Lógica computacional
Informática > Matemáticas
Lógica simbólica y matemática
Matemáticas > Lenguajes formales
Funciones algebraicas
Libros electrónicos
Descripción
Notas:Base de Datos SPRINGER
Descripción Física:1 recurso en línea : ilustraciones, gráficas.
Bibliografía:Referencias
ISBN:9783319516530

Ejemplares similares