Automated Deduction — CADE-12 (Q5210757)

From MaRDI portal
scientific journal
Language Label Description Also known as
English
Automated Deduction — CADE-12
scientific journal

    Statements