Mauricio Ayala-Rincón - Böcker

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

2 produkter

Kategorier

2 produkter

Applied Logic for Computer Scientists

Computational Deduction and Formal Proofs

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

Häftad, Engelska, 2017

659 kr

Skickas inom 10-15 vardagar

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 m. fl

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar