ISBN 9783330763517 books & textbook
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
