
A Multi-Strategy Tableau Prover
- Undertittel
- Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics
- Forfatter
- Adolfo Gustavo Serra Seca Neto
- ISBN
- 9783330763517
- Språk
- Engelsk
- Vekt
- 262 gram
- Utgivelsesdato
- 27.6.2017
- Forlag
- Novas Edições Acadêmicas
- Antall sider
- 164
