Gå direkte til innholdet
A Multi-Strategy Tableau Prover
Spar

A Multi-Strategy Tableau Prover

Undertittel
Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics
ISBN
9783330763517
Språk
Engelsk
Vekt
262 gram
Utgivelsesdato
27.6.2017
Antall sider
164