Computer programming and formal systems (Q1130614)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Computer programming and formal systems
scientific article

    Statements

    Computer programming and formal systems (English)
    0 references
    1963
    0 references
    mathematical logic
    0 references
    computer science
    0 references

    Identifiers