Foreword to the special focus on formal proofs for mathematics and computer science (Q2018656)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Foreword to the special focus on formal proofs for mathematics and computer science
scientific article

    Statements

    Foreword to the special focus on formal proofs for mathematics and computer science (English)
    0 references
    25 March 2015
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers