Applied Logic for Computer Scientists
Mauricio Ayala-Rincón, Flávio L. C. de Moura
Applied Logic for Computer Scientists - Springer Springer 2017
9783319516530
EBOOK
Applied Logic for Computer Scientists - Springer Springer 2017
9783319516530
EBOOK