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

21 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