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

Sistema de Bibliotecas del Tecnológico de Costa Rica

Detalle de Existencias desde Sistema de Bibliotecas del Tecnológico de Costa Rica
Copia Disponible

Ejemplares similares