Gå direkt till innehållet
A Multi-Strategy Tableau Prover
Spara

A Multi-Strategy Tableau Prover

Undertitel
Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics
ISBN
9783330763517
Språk
Engelska
Vikt
262 gram
Utgivningsdatum
2017-06-27
Sidor
164