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