Mauricio Ayala-Rincón – författare

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

2 produkter

Kategorier

2 produkter

Mauricio Ayala-Rincón, Flávio L. C. de Moura - Applied Logic for Computer Scientists, Häftad

Applied Logic for Computer Scientists

Computational Deduction and Formal Proofs

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

Häftad, Engelska, 2017

659 kr

Skickas inom 10-15 vardagar

Del 10499

Mauricio Ayala-Rincón, César A. Muñoz - Interactive Theorem Proving, Häftad

Del 10499 - Lecture Notes in Computer Science

Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

AvMauricio Ayala-Rincón,César A. Muñoz

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar