Mauricio Ayala-Rincón – författare
Visar alla böcker från författaren Mauricio Ayala-Rincón.
2 produkter
2 produkter
Applied Logic for Computer Scientists
Computational Deduction and Formal Proofs
Häftad, Engelska, 2017
649 kr
Skickas inom 10-15 vardagar
Del 10499 - Lecture Notes in Computer Science
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Häftad, Engelska, 2017
719 kr
Skickas inom 10-15 vardagar