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/ReportBook editingAcademic

7 Downloads (Pure)
Original languageEnglish
PublisherSpringer
Number of pages640
ISBN (Electronic)978-3-662-48899-7
ISBN (Print)978-3-662-48898-0
DOIs
Publication statusPublished - 2015
Externally publishedYes

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9450
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Cite this

Davis, Martin (Editor) ; Fehnker, Ansgar (Editor) ; McIver, Annabelle ; Voronkov, Andrei. / Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. Springer, 2015. 640 p. (Lecture Notes in Computer Science).
@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/ReportBook editingAcademic

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 -