2017 | Computer Science | Book

# Applied Logic for Computer Scientists

## Computational Deduction and Formal Proofs

Authors: Mauricio Ayala-Rincón, Flávio L. C. de Moura

Publisher: Springer International Publishing

Print ISBN: 978-3-319-51651-6

Electronic ISBN: 978-3-319-51653-0