Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Editat de Mauricio Ayala-Rincón et al.
21 aug 2017
Paperback
Preț: 338.17 lei 422.72 lei
43-57 zile
-20%
Mauricio Ayala-Rincón
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
Autor Mauricio Ayala-Rincón et al.
13 feb 2017
Paperback
Preț: 291.69 lei 364.61 lei
43-57 zile
-20%