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/Anthologypeer-review

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

Publication series

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

Cite this