Mauricio Ayala-Rincón – författare

Visar alla böcker från författaren .

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
659 kr
Skickas inom 10-15 vardagar
Del 10499
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