Learning Strategies for Mechanised Building of Decision Procedures (Q4916230)

From MaRDI portal
scientific article; zbMATH DE number 6156039
Language Label Description Also known as
English
Learning Strategies for Mechanised Building of Decision Procedures
scientific article; zbMATH DE number 6156039

    Statements

    Identifiers