Interactive Theorem Proving
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings
Munoz, Cesar A.; Ayala-Rincon, Mauricio
Springer International Publishing AG
08/2017
532
Mole
Inglês
9783319661063
15 a 20 dias
8248