Applied Logic for Computer Scientists Sách Khác Của Mauricio Ayala-Rincón & Flávio L. C. de Moura

Interactive Theorem Proving

2017