Serra Seca Neto, Adolfo Gustavo books & textbook
Agile Methods: 8th Brazilian Workshop, WBMA 2017, Belém, Brazil, September 13–14, 2017, Revised Selected Papers (Communications in Computer and Information Science, 802)
Santos, Viviane Almeida dos Pinto, Gustavo Henrique Lima Serra Seca Neto, Adolfo Gustavo
Springer /2018-01-14 Paperback / 173 Pages
isbn-10: 3319736728 / isbn-13: 9783319736723
A Multi-Strategy Tableau Prover: Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics
Serra Seca Neto, Adolfo Gustavo
Novas Edições Acadêmicas /2017-06-27 Paperback / 164 Pages
isbn-10: 3330763515 / isbn-13: 9783330763517
