3 Ebooks por Leonardo de Moura
Moa Johansson & Michael Kohlhase: Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 …
PDF
Inglês
DRM
€48.77
Leonardo de Moura: Automated Deduction – CADE 26
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions …
EPUB
Inglês
DRM
€89.95
Juliano Iyoda & Leonardo de Moura: Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented …
PDF
Inglês
DRM
€51.39
