Preface 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

Preface 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

Research output: Book/Report › Book editing › Academic

9 Downloads (Pure)

Original language	English
Publication status	Published - 2015
Externally published	Yes
Event	20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015 - Suva, Fiji Duration: 24 Nov 2015 → 28 Nov 2015 Conference number: 20

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer
Volume	9450
ISSN (Print)	0302-9743

Access to Document

2015_Bookmatter_LogicForProgrammingArtificialIFinal published version, 143 KB

Cite this

@book{c830dab6d6284f0c95d3a7eb24b0859d,

title = "Preface 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",

language = "English",

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

publisher = "Springer",

note = "20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015, LPAR 2015 ; Conference date: 24-11-2015 Through 28-11-2015",

}

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

Research output: Book/Report › Book editing › Academic

TY - BOOK

T1 - Preface Logic for Programming, Artificial Intelligence, and Reasoning

T2 - 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015

AU - Davis, Martin

AU - Fehnker, Ansgar

AU - McIver, Annabelle

AU - Voronkov, Andrei

N1 - Conference code: 20

PY - 2015

Y1 - 2015

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

M3 - Book editing

AN - SCOPUS:84952690774

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

BT - Preface Logic for Programming, Artificial Intelligence, and Reasoning

Y2 - 24 November 2015 through 28 November 2015

ER -

Preface 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