Mauricio Ayala-Rincón

Books
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2017
Applied Logic for Computer Scientists Applied Logic for Computer Scientists
Applied Logic for Computer Scientists
2017