
A Multi-Strategy Tableau Prover
- Undertitel
- Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics
- Författare
- Adolfo Gustavo Serra Seca Neto
- ISBN
- 9783330763517
- Språk
- Engelska
- Vikt
- 262 gram
- Utgivningsdatum
- 2017-06-27
- Förlag
- Novas Edições Acadêmicas
- Sidor
- 164
