Learning to reason assisted by automated reasoning (Q6102981)

From MaRDI portal
scientific article; zbMATH DE number 7691307
Language Label Description Also known as
English
Learning to reason assisted by automated reasoning
scientific article; zbMATH DE number 7691307

    Statements

    Learning to reason assisted by automated reasoning (English)
    0 references
    2 June 2023
    0 references
    0 references
    Theorema
    0 references
    automated theorem proving
    0 references
    teaching logic
    0 references
    0 references