Applied logic for computer scientists : computational deduction and formal proofs - Ayala-Rincón, Mauricio; de Moura, Flávio L. C. (Cham, Suiza : Springer, 2017)
Base de Datos SPRINGER
Referencias
MATE
COMP
INGE
Keywords: Lógica computacional; Informática -- Matemáticas; Lógica simbólica y matemática; Matemáticas -- Lenguajes formales; Funciones algebraicas; Libros electrónicos