Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings

Michel Parigot (Editor), Andrei Voronkov (Editor)

    Research output: Chapter in Book/Conference proceeding › Conference contribution

    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science
    PublisherSpringer Nature
    Volume1955
    Publication statusPublished - 2000
    EventLPAR -
    Duration: 1 Jan 1824 → …
    http://dblp.uni-trier.de/db/conf/lpar/lpar2006.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/2006.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/2006

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer

    Conference

    ConferenceLPAR
    Period1/01/24 → …
    Internet address

    Access to Document

    Cite this