Mechanical theorem proving in projective geometry (Q1924746)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Mechanical theorem proving in projective geometry
scientific article

    Statements

    Mechanical theorem proving in projective geometry (English)
    0 references
    14 January 1997
    0 references
    mechanical theorem proving
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers