Applied logic for computer scientists : Computational deduction and formal proofs.
Formato: | Libro |
---|---|
Acceso en línea: | Ver documento en línea |
Ejemplares similares
-
Applied logic for computer scientists : computational deduction and formal proofs /
por: Ayala-Rincón, Mauricio
Publicado: (2017) -
Computational logic and set theory : Applying Formalized Logic to Analysis /
Publicado: (2011) -
Computability and logic /
por: Boolos, George
Publicado: (1980) -
Computer logic : the functional design of digital computers /
por: Flores, Iván, et al.
Publicado: (1960) - Analysis for computer scientists : Foundations, methods, and algorithms.