Книги автора «Mauricio Ayala-Rincón»

На данной странице предаставлены все книги автора «Mauricio Ayala-Rincón»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Mauricio Ayala-Rincón»

Книги

Applied Logic for Computer Scientists. Computational Deduction and Formal Proofs

Applied Logic for Computer Scientists. Computational Deduction and Formal Proofs (Mauricio Ayala-Rincón,Flávio L. C. de Moura)