Mauricio Ayala-Rincón – författare
Visar alla böcker från författaren Mauricio Ayala-Rincón. Handla med fri frakt och snabb leverans.
4 produkter
Applied Logic for Computer Scientists
Computational Deduction and Formal Proofs
Av Mauricio Ayala-Rincón, Flávio L. C. de Moura
Häftad, 2017
512 kr
Lägg i varukorg
This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer …
Applied Logic for Computer Scientists
Computational Deduction and Formal Proofs
Av Flavio L. C. de Moura, Mauricio Ayala-Rincon
E-bok, 2017
672 kr
Lägg i varukorg
This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer …
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Av Mauricio Ayala-Rincón, César A. Muñoz
Häftad, 2017
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 …
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Av Cesar A. Munoz, Mauricio Ayala-Rincon
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 …
