Siirry suoraan sisältöön
A Multi-Strategy Tableau Prover
Tallenna

A Multi-Strategy Tableau Prover

Alaotsikko
Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics
ISBN
9783330763517
Kieli
englanti
Paino
262 grammaa
Julkaisupäivä
27.6.2017
Sivumäärä
164