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, Andrei Voronkov

Research output: Book/Report › Book editing › Academic

21 Downloads (Pure)

Original language	English
Publisher	Springer
Number of pages	640
ISBN (Electronic)	978-3-662-48899-7
ISBN (Print)	978-3-662-48898-0
DOIs	https://doi.org/10.1007/978-3-662-48899-7
Publication status	Published - 2015
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	9450
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-662-48899-7

Front MatterFinal published version, 143 KB

Cite this

@book{fa8d4dc71c534d0c803ef11854c3fd13,

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

author = "Annabelle McIver and Andrei Voronkov",

editor = "Martin Davis and Ansgar Fehnker",

year = "2015",

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

language = "English",

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

series = "Lecture Notes in Computer Science",

publisher = "Springer",

}

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; Voronkov, Andrei.

Springer, 2015. 640 p. (Lecture Notes in Computer Science; Vol. 9450).

Research output: Book/Report › Book editing › Academic

TY - BOOK

T1 - Logic for Programming, Artificial Intelligence, and Reasoning

T2 - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

AU - McIver, Annabelle

AU - Voronkov, Andrei

A2 - Davis, Martin

A2 - Fehnker, Ansgar

PY - 2015

Y1 - 2015

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

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

M3 - Book editing

SN - 978-3-662-48898-0

T3 - Lecture Notes in Computer Science

BT - Logic for Programming, Artificial Intelligence, and Reasoning

PB - Springer

ER -