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)

School of Computing

Research output: Book/Report › Edited Book/Anthology › peer-review

Original language	English
Place of Publication	Heidelberg
Publisher	Springer, Springer Nature
Number of pages	640
Volume	9450
ISBN (Electronic)	9783662488997
ISBN (Print)	9783662488980
DOIs	https://doi.org/10.1007/978-3-662-48899-7
Publication status	Published - 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9450
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Access to Document

10.1007/978-3-662-48899-7

Cite this

Davis, M., Fehnker, A., McIver, A., & Voronkov, A. (Eds.) (2015). Logic for programming, artificial intelligence, and reasoning: 20th international conference, LPAR-20 2015 Suva, Fiji, november 24–28, 2015 proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9450). Springer, Springer Nature. https://doi.org/10.1007/978-3-662-48899-7

Davis, Martin (Editor) ; Fehnker, Ansgar (Editor) ; McIver, Annabelle (Editor) et al. / Logic for programming, artificial intelligence, and reasoning : 20th international conference, LPAR-20 2015 Suva, Fiji, november 24–28, 2015 proceedings. Heidelberg : Springer, Springer Nature, 2015. 640 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@book{0484138bee314acc8b98355d854ef6fa,

title = "Logic for programming, artificial intelligence, and reasoning: 20th international conference, LPAR-20 2015 Suva, Fiji, november 24–28, 2015 proceedings",

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

year = "2015",

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

language = "English",

isbn = "9783662488980",

volume = "9450",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

address = "United States",

}

Davis, M, Fehnker, A , McIver, A & Voronkov, A (eds) 2015, Logic for programming, artificial intelligence, and reasoning: 20th international conference, LPAR-20 2015 Suva, Fiji, november 24–28, 2015 proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9450, vol. 9450, Springer, Springer Nature, Heidelberg. https://doi.org/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. / Davis, Martin (Editor); Fehnker, Ansgar (Editor); McIver, Annabelle (Editor) et al.
Heidelberg: Springer, Springer Nature, 2015. 640 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9450).

Research output: Book/Report › Edited Book/Anthology › peer-review

TY - BOOK

T1 - Logic for programming, artificial intelligence, and reasoning

T2 - 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

UR - http://www.scopus.com/inward/record.url?scp=84952684685&partnerID=8YFLogxK

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

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

M3 - Edited Book/Anthology

AN - SCOPUS:84952684685

SN - 9783662488980

VL - 9450

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

BT - Logic for programming, artificial intelligence, and reasoning

PB - Springer, Springer Nature

CY - Heidelberg

ER -

Davis M, (ed.), Fehnker A, (ed.), McIver A, (ed.), Voronkov A, (ed.). Logic for programming, artificial intelligence, and reasoning: 20th international conference, LPAR-20 2015 Suva, Fiji, november 24–28, 2015 proceedings. Heidelberg: Springer, Springer Nature, 2015. 640 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). 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

Publication series

Access to Document

Other files and links

Cite this