Leonardo de Moura

Leonardo de Moura · Springer

582 sayfa · 2017

Automatic theorem proving

Juliano Iyoda, Leonardo de Moura · Springer

253 sayfa · 2013

Computer software, development / Computer science / Computer Science, general

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

177 sayfa · 2016

Artificial intelligence

AMANDA VIRGINIA TELES ROCHA, ANDRESA DOS SANTOS OLIVEIRA, ARTHUR PAES BEZERRA, ERICK MICHELL BEZERRA OLIVEIRA, ERLINE CHAVES PAZ, HERNANDYS RIBEIRO BEZERRA, JADER PEREIRA DE FARIAS NETO, JÉSSICA PALOMA DA SILVA MENDES, JOÃO RICARDO BISPO DE JESUS, KAREN BARROS PARRON FERNANDES, · Atena Editora

AMANDA SILVA PASSOS, ANA LETÍCIA LOPES ABREU SILVA, ANDREZA SERPA OTONI, ANTÔNIO MARCOS MOTA MIRANDA, CLOSENY MARIA SOARES MODESTO, ELIZABETH FERREIRA DE MIRANDA, ELIZETE BEZERRA HOSSAKI, ERIKA SILVA DE SÁ, FABIANO RODRIGUES PALMA, GABRIEL CARTAXO BARBOSA DA SILVA, · Atena Editora

André Cardoso, Giselle Aureliano, Gisely Pessoa, Isabella da Silva, Leonardo de Moura · Independently Published

Sayfa sayısı yok · 2020

Kategori yok

Leonardo Cançado Monteiro Savassi, Magda Moura de Almeida, Mayara Floss, Monica Correia Lima · Fundacao Oswaldo Cruz

Sayfa sayısı yok · 2018

Kategori yok

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 · Arraes Editores

425 sayfa · 2015

Public law

Carlos Athayde Valadares Viegas, Cesar Leandro de Almeida Rabelo, Cláudia Mara de Almeida Rabelo Viegas, Leonardo Macedo Poli, Rafael Soares Duarte de Moura, Adriano Stanley Rocha Souza · Arraes Editores

471 sayfa · 2015

Civil law