Original language | English |
---|---|
Publisher | Springer |
Number of pages | 640 |
ISBN (Electronic) | 978-3-662-48899-7 |
ISBN (Print) | 978-3-662-48898-0 |
DOIs | |
Publication status | Published - 2015 |
Externally published | Yes |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 9450 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Cite this
}
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. / Davis, Martin (Editor); Fehnker, Ansgar (Editor); McIver, Annabelle; Voronkov, Andrei.
Springer, 2015. 640 p. (Lecture Notes in Computer Science; Vol. 9450).Research output: Book/Report › Book editing › Academic
TY - BOOK
T1 - Logic for Programming, Artificial Intelligence, and Reasoning
T2 - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
AU - McIver, Annabelle
AU - Voronkov, Andrei
A2 - Davis, Martin
A2 - Fehnker, Ansgar
PY - 2015
Y1 - 2015
U2 - 10.1007/978-3-662-48899-7
DO - 10.1007/978-3-662-48899-7
M3 - Book editing
SN - 978-3-662-48898-0
T3 - Lecture Notes in Computer Science
BT - Logic for Programming, Artificial Intelligence, and Reasoning
PB - Springer
ER -