
A Multi-Strategy Tableau Prover
- Alaotsikko
- Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics
- Kirjailija
- Adolfo Gustavo Serra Seca Neto
- ISBN
- 9783330763517
- Kieli
- englanti
- Paino
- 262 grammaa
- Julkaisupäivä
- 27.6.2017
- Kustantaja
- Novas Edições Acadêmicas
- Sivumäärä
- 164