DSpace Repository

Applied Logic for Computer Scientists [electronic resource] : Computational Deduction and Formal Proofs / by Mauricio Ayala-Rinc n, Fl vio L. C. de Moura.

Files in this item

This item appears in the following Collection(s)

Search DSpace


Advanced Search

Browse

My Account