Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov.
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and...
Saved in:
Full text |
|
Personal Name(s): | Davis, Martin. editor |
Fehnker, Ansgar. editor / McIver, Annabelle. editor / Voronkov, Andrei. editor | |
Edition: |
1st ed. 2015. |
Imprint: |
Berlin, Heidelberg :
Springer,
2015
|
Physical Description: |
XV, 640 p. 142 illus. in color. online resource. |
Note: |
englisch |
ISBN: |
9783662488997 |
DOI: |
10.1007/978-3-662-48899-7 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture notes in computer science ;
9450 |
Subject (LOC): |
LEADER | 02509nam a22004575i 4500 | ||
---|---|---|---|
001 | 978-3-662-48899-7 | ||
003 | Springer | ||
008 | 151201s2015 gw | s |||| 0|eng d | ||
020 | |a 9783662488997 | ||
024 | 7 | |a 10.1007/978-3-662-48899-7 |2 doi | |
035 | |a (Sirsi) a473077 | ||
041 | |a eng | ||
082 | 0 | 4 | |a 005.1 |2 23 |
245 | 1 | 0 | |a Logic for Programming, Artificial Intelligence, and Reasoning |h [E-Book] : |b 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / |c edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. |
250 | |a 1st ed. 2015. | ||
264 | 1 | |a Berlin, Heidelberg : |b Springer, |c 2015 |e (Springer LINK) | |
300 | |a XV, 640 p. 142 illus. in color. |b online resource. | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
490 | |a Lecture notes in computer science ; |v 9450 | ||
500 | |a englisch | ||
520 | |a This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. | ||
650 | 0 | |a Artificial intelligence. | |
650 | 0 | |a Computer logic. | |
650 | 0 | |a Computer programming. | |
650 | 0 | |a Computer science. | |
650 | 0 | |a Mathematical logic. | |
650 | 0 | |a Programming languages (Electronic computers). | |
650 | 0 | |a Software engineering. | |
700 | 1 | |a Davis, Martin. |e editor. | |
700 | 1 | |a Fehnker, Ansgar. |e editor. | |
700 | 1 | |a McIver, Annabelle. |e editor. | |
700 | 1 | |a Voronkov, Andrei. |e editor. | |
856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-3-662-48899-7 |z Volltext |
908 | |a Konferenz | ||
915 | |a zzwFZJ2 | ||
932 | |a Computer Science (Springer-11645) | ||
596 | |a 1 | ||
949 | |a XX(473077.1) |w AUTO |c 1 |i 473077-1001 |l ELECTRONIC |m ZB |r N |s Y |t E-BOOK |u 8/1/2016 |x ZB-D |z UNKNOWN |0 NEL |1 ONLINE |2 KONFERENZ |