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: Book/ReportEdited Book/Anthology

Original languageEnglish
Place of PublicationHeidelberg
PublisherSpringer, Springer Nature
Number of pages640
Volume9450
ISBN (Electronic)9783662488997
ISBN (Print)9783662488980
DOIs
Publication statusPublished - 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9450
ISSN (Print)03029743
ISSN (Electronic)16113349

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). Heidelberg: Springer, Springer Nature. https://doi.org/10.1007/978-3-662-48899-7