book

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Mauricio Ayala-Rincón, Flávio L. C de Moura Published in 2017

Reference details