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