Theorem Proving with Analytic Tableaux and Related Methods (Q4645221)

From MaRDI portal
scientific journal
Language Label Description Also known as
English
Theorem Proving with Analytic Tableaux and Related Methods
scientific journal

    Statements