Logic for programming and automated reasoning. 6th international conference, LPAR '99, Tbilisi, Georgia, September 6--10, 1999. Proceedings (Q1297714)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Logic for programming and automated reasoning. 6th international conference, LPAR '99, Tbilisi, Georgia, September 6--10, 1999. Proceedings
scientific article

    Statements

    Logic for programming and automated reasoning. 6th international conference, LPAR '99, Tbilisi, Georgia, September 6--10, 1999. Proceedings (English)
    0 references
    12 September 1999
    0 references
    Tbilisi (Georgia)
    0 references
    Proceedings
    0 references
    Conference
    0 references
    LPAR '99
    0 references
    Logic
    0 references
    Automated reasoning
    0 references
    Programming
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references