Книги автора «Flávio L. C. de Moura»

На данной странице предаставлены все книги автора «Flávio L. C. de Moura»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Flávio L. C. de Moura»

Книги

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)