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/Report › Book editing › Academic

Access to Document

@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",

series = "EPiC Series in Computing",

publisher = "EasyChair",

address = "United Kingdom",

}