Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study (Q5284601)

From MaRDI portal
scientific article; zbMATH DE number 969132
Language Label Description Also known as
English
Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
scientific article; zbMATH DE number 969132

    Statements

    Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    12 February 1997
    0 references
    prolog
    0 references
    computer-assisted proof
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references