Mauricio Ayala-Rincón – författare

Visar alla böcker från författaren Mauricio Ayala-Rincón.

2 produkter

1. 

   Applied Logic for Computer Scientists

   Computational Deduction and Formal Proofs

   Av Mauricio Ayala-Rincón, Flávio L. C. de Moura

   Häftad, 2017

   669 kr

   Lägg i varukorg

2. 

   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

   739 kr

   Lägg i varukorg