LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations

Ansgar Fehnker (Editor), Annabelle McIver (Editor), Geoff Sutcliffe (Editor), Andrei Voronkov (Editor)

    Research output: Book/ReportBook editingAcademic

    Original languageEnglish
    PublisherEasyChair
    Volume35
    Publication statusPublished - 2015

    Publication series

    NameEPiC Series in Computing
    PublisherEasyChair
    Volume35

    Cite this

    Fehnker, A., McIver, A., Sutcliffe, G., & Voronkov, A. (Eds.) (2015). LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations. (EPiC Series in Computing; Vol. 35). EasyChair.
    Fehnker, Ansgar (Editor) ; McIver, Annabelle (Editor) ; Sutcliffe, Geoff (Editor) ; Voronkov, Andrei (Editor). / LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations. EasyChair, 2015. (EPiC Series in Computing).
    @book{1153e078c4a94fac9e56190fd08e40bb,
    title = "LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations",
    editor = "Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov",
    year = "2015",
    language = "English",
    volume = "35",
    series = "EPiC Series in Computing",
    publisher = "EasyChair",
    address = "United Kingdom",

    }

    Fehnker, A, McIver, A, Sutcliffe, G & Voronkov, A (eds) 2015, LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations. EPiC Series in Computing, vol. 35, vol. 35, EasyChair.

    LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations. / Fehnker, Ansgar (Editor); McIver, Annabelle (Editor); Sutcliffe, Geoff (Editor); Voronkov, Andrei (Editor).

    EasyChair, 2015. (EPiC Series in Computing; Vol. 35).

    Research output: Book/ReportBook editingAcademic

    TY - BOOK

    T1 - LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations

    A2 - Fehnker, Ansgar

    A2 - McIver, Annabelle

    A2 - Sutcliffe, Geoff

    A2 - Voronkov, Andrei

    PY - 2015

    Y1 - 2015

    M3 - Book editing

    VL - 35

    T3 - EPiC Series in Computing

    BT - LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations

    PB - EasyChair

    ER -

    Fehnker A, (ed.), McIver A, (ed.), Sutcliffe G, (ed.), Voronkov A, (ed.). LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations. EasyChair, 2015. (EPiC Series in Computing).