Books by Leonardo de Moura

Cover of Formal Methods : Foundations and Applications

Formal Methods : Foundations and Applications

by Juliano Iyoda, Leonardo de Moura

2013
Cover of Intelligent Computer Mathematics

Intelligent Computer Mathematics

by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa

2016
Cover of Automated Deduction – CADE 26

Automated Deduction – CADE 26

by Leonardo de Moura

2017
Cover of Hacer Frente a la Violencia Escolar

Hacer Frente a la Violencia Escolar

by André Cardoso, Giselle Aureliano, Gisely Pessoa, Isabella da Silva, Leonardo de Moura

2020
Cover of Ensaios críticos de direito público

Ensaios críticos de direito público

by Carlos Athayde Valadares Viegas, Cesar Leandro de Almeida Rabelo, Cláudia Mara de Almeida Rabelo Viegas, Leonardo Macedo Poli, Rafael Soares Duarte de Moura, Ana Victoria de Paula Souza

2015

Can't find the book you're looking for? Let us know — it helps us improve.