8th international conference on automated deduction, Oxford, England, July 27 -- August 1, 1986. Proceedings (Q1079552)

From MaRDI portal





scientific article
Language Label Description Also known as
English
8th international conference on automated deduction, Oxford, England, July 27 -- August 1, 1986. Proceedings
scientific article

    Statements

    8th international conference on automated deduction, Oxford, England, July 27 -- August 1, 1986. Proceedings (English)
    0 references
    1986
    0 references
    Automated deduction
    0 references
    Proceedings
    0 references
    Conference
    0 references
    Oxford/England
    0 references
    CADE-8
    0 references

    Identifiers