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

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

Häftad, Engelska, 2017

639 kr

Skickas inom 10-15 vardagar

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

Häftad, Engelska, 2017

689 kr

Skickas inom 10-15 vardagar