The Unit Proof and the Input Proof in Theorem Proving (Q5613968)

From MaRDI portal
scientific article; zbMATH DE number 3336834
Language Label Description Also known as
English
The Unit Proof and the Input Proof in Theorem Proving
scientific article; zbMATH DE number 3336834

    Statements

    The Unit Proof and the Input Proof in Theorem Proving (English)
    0 references
    1970
    0 references

    Identifiers