Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics (Q2908509)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics
scientific article

    Statements

    Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    5 September 2012
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers