Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Martin Davis; Ansgar Fehnker; Annabelle McIver; Andrei Voronkov

doi:10.1007/978-3-662-48899-7

Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Martin Davis (Editor)
, Ansgar Fehnker (Editor)
, Annabelle McIver (Editor)
, Andrei Voronkov (Editor)

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

Original language	English
Title of host publication	Lecture Notes in Computer Science
Publisher	Springer Nature
Volume	9450
ISBN (Print)	978-3-662-48898-0
DOIs	https://doi.org/10.1007/978-3-662-48899-7
Publication status	Published - 2015

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Access to Document

10.1007/978-3-662-48899-7

Cite this

@inproceedings{366f04fd23a746aea0be59e162d42c60,

title = "Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings",

author = "Martin Davis and Ansgar Fehnker and Annabelle McIver and Andrei Voronkov",

year = "2015",

doi = "10.1007/978-3-662-48899-7",

language = "English",

isbn = "978-3-662-48898-0",

volume = "9450",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

booktitle = "Lecture Notes in Computer Science",

address = "United States",

}

Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. / Davis, Martin (Editor); Fehnker, Ansgar (Editor); McIver, Annabelle (Editor) et al.
Lecture Notes in Computer Science. Vol. 9450 Springer Nature, 2015. (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

A2 - Davis, Martin

A2 - Fehnker, Ansgar

A2 - McIver, Annabelle

A2 - Voronkov, Andrei

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-662-48899-7

DO - 10.1007/978-3-662-48899-7

M3 - Conference contribution

SN - 978-3-662-48898-0

VL - 9450

T3 - Lecture Notes in Computer Science

BT - Lecture Notes in Computer Science

PB - Springer Nature

ER -