Euclid after Computer Proof-Checking (Q5094535)

From MaRDI portal
scientific article; zbMATH DE number 7566943
Language Label Description Also known as
English
Euclid after Computer Proof-Checking
scientific article; zbMATH DE number 7566943

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references