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

Original languageEnglish
Publication statusPublished - 2015
Externally publishedYes
Event20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015 - Suva, Fiji
Duration: 24 Nov 201528 Nov 2015
Conference number: 20

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume9450
ISSN (Print)0302-9743

Cite this