%0 Book %1 series/utcs/Ayala-RinconM17 %A Ayala-Rincón, Mauricio %A de Moura, Flávio L. C. %B Undergraduate Topics in Computer Science %D 2017 %I Springer %K %P 1-143 %T Applied Logic for Computer Scientists - Computational Deduction and Formal Proofs %@ 978-3-319-51653-0

@book{series/utcs/Ayala-RinconM17, added-at = {2023-12-14T14:54:18.000+0100}, author = {Ayala-Rincón, Mauricio and de Moura, Flávio L. C.}, biburl = {https://www.bibsonomy.org/bibtex/2114a24684674c9851b71dce3c274da45/admin}, ee = {http://dx.doi.org/10.1007/978-3-319-51653-0}, interhash = {e4a5e249a821dcb607b13668221cb3fa}, intrahash = {114a24684674c9851b71dce3c274da45}, isbn = {978-3-319-51653-0}, keywords = {}, pages = {1-143}, publisher = {Springer}, series = {Undergraduate Topics in Computer Science}, timestamp = {2023-12-14T14:54:18.000+0100}, title = {Applied Logic for Computer Scientists - Computational Deduction and Formal Proofs}, year = 2017 }