An Early Program Proof by Alan Turing (Q4779240)

From MaRDI portal
scientific article; zbMATH DE number 1834848
Language Label Description Also known as
English
An Early Program Proof by Alan Turing
scientific article; zbMATH DE number 1834848

    Statements

    An Early Program Proof by Alan Turing (English)
    0 references
    25 November 2002
    0 references

    Identifiers