Loading…
Logic for programming, artificial intelligence, and reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
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:
Corporate Authors: | , |
---|---|
Other Authors: | , , , |
Format: | Conference Proceeding eBook |
Language: | English |
Published: |
Heidelberg :
Springer,
[2015]
|
Series: | Lecture notes in computer science ;
9450. |
Physical Description: |
1 online resource. |
Subjects: | |
Online Access: | SpringerLink - Click here for access |
MARC
LEADER | 00000cam a2200000Mi 4500 | ||
---|---|---|---|
001 | ocn933755300 | ||
003 | OCoLC | ||
005 | 20240223121953.0 | ||
006 | m o d u | ||
007 | cr ||||||||||| | ||
008 | 160106s2015 sz o 100 0 eng d | ||
015 | |a GBB958832 |2 bnb | ||
016 | 7 | |a 019316933 |2 Uk | |
020 | |a 9783662488997 |q (e-book) | ||
020 | |a 366248899X |q (e-book) | ||
020 | |z 9783662488980 |q (print) | ||
020 | |z 3662488981 |q (print) | ||
035 | |a (OCoLC)933755300 | ||
037 | |a com.springer.onix.9783662488997 |b Springer Nature | ||
040 | |a NLGGC |b eng |e rda |e pn |c NLGGC |d DKDLA |d OCLCO |d YDXCP |d NUI |d GW5XE |d OCLCO |d OCLCF |d OCLCO |d KSU |d IAS |d JBG |d IAO |d ICN |d IAD |d SOI |d ILO |d DGU |d ESU |d IOG |d U3W |d OCLCQ |d CEF |d OCLCQ |d VLB |d EBLCP |d WYU |d UKMGB |d OCLCQ |d UKAHL |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCO | ||
049 | |a COM6 | ||
050 | 4 | |a QA76.758 | |
082 | 0 | 4 | |a 005.1 |2 23 |
111 | 2 | |a LPAR (Conference) |n (20th : |d 2015 : |c Suva, Fiji) |0 https://id.loc.gov/authorities/names/nb2016002643. | |
245 | 1 | 0 | |a Logic for programming, artificial intelligence, and reasoning : |b 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / |c Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (Eds.). |
264 | 1 | |a Heidelberg : |b Springer, |c [2015] | |
264 | 4 | |c ©2015. | |
300 | |a 1 online resource. | ||
336 | |a text |b txt |2 rdacontent. | ||
337 | |a computer |b c |2 rdamedia. | ||
338 | |a online resource |b cr |2 rdacarrier. | ||
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 Computer logic |v Congresses. |0 https://id.loc.gov/authorities/subjects/sh2009121216. | |
650 | 0 | |a Computer science. |0 https://id.loc.gov/authorities/subjects/sh89003285. | |
650 | 0 | |a Computer programming. |0 https://id.loc.gov/authorities/subjects/sh85107310. | |
650 | 0 | |a Software engineering. |0 https://id.loc.gov/authorities/subjects/sh87007398. | |
650 | 0 | |a Programming languages (Electronic computers) |0 https://id.loc.gov/authorities/subjects/sh85107313. | |
650 | 0 | |a Computer logic. |0 https://id.loc.gov/authorities/subjects/sh97004631. | |
650 | 0 | |a Logic, Symbolic and mathematical. |0 https://id.loc.gov/authorities/subjects/sh85078115. | |
650 | 0 | |a Artificial intelligence. |0 https://id.loc.gov/authorities/subjects/sh85008180. | |
650 | 2 | |a Electronic Data Processing. |0 https://id.nlm.nih.gov/mesh/D001330. | |
650 | 2 | |a Artificial Intelligence. |0 https://id.nlm.nih.gov/mesh/D001185. | |
650 | 6 | |a Logique informatique |v Congrès. | |
650 | 6 | |a Informatique. | |
650 | 6 | |a Programmation (Informatique) | |
650 | 6 | |a Génie logiciel. | |
650 | 6 | |a Logique informatique. | |
650 | 6 | |a Logique symbolique et mathématique. | |
650 | 6 | |a Intelligence artificielle. | |
650 | 7 | |a computer programming. |2 aat. | |
650 | 7 | |a artificial intelligence. |2 aat. | |
650 | 7 | |a Artificial intelligence. |2 fast. | |
650 | 7 | |a Computer logic. |2 fast. | |
650 | 7 | |a Computer programming. |2 fast. | |
650 | 7 | |a Computer science. |2 fast. | |
650 | 7 | |a Logic, Symbolic and mathematical. |2 fast. | |
650 | 7 | |a Programming languages (Electronic computers) |2 fast. | |
650 | 7 | |a Software engineering. |2 fast. | |
655 | 2 | |a Congress. |0 https://id.nlm.nih.gov/mesh/D016423. | |
655 | 7 | |a proceedings (reports) |2 aat. | |
655 | 7 | |a Conference papers and proceedings. |2 fast. | |
655 | 7 | |a Conference papers and proceedings. |2 lcgft |0 https://id.loc.gov/authorities/genreForms/gf2014026068. | |
655 | 7 | |a Actes de congrès. |2 rvmgf. | |
700 | 1 | |a Davis, Martin, |0 https://id.loc.gov/authorities/names/n97054667 |e editor. | |
700 | 1 | |a Fehnker, Ansgar, |e editor. | |
700 | 1 | |a McIver, Annabelle, |0 https://id.loc.gov/authorities/names/n2002015003 |e editor. | |
700 | 1 | |a Voronkov, Andrei, |d 1959- |0 https://id.loc.gov/authorities/names/n92045267 |e editor. | |
710 | 2 | |a SpringerLink (Online service) |0 https://id.loc.gov/authorities/names/no2005046756. | |
830 | 0 | |a Lecture notes in computer science ; |0 https://id.loc.gov/authorities/names/n42015162 |v 9450. |x 1611-3349. | |
907 | |a .b50281458 |b multi |c - |d 160404 |e 240401 | ||
998 | |a (3)cue |a cu |b 240227 |c m |d z |e - |f eng |g sz |h 0 |i 2 | ||
948 | |a MARCIVE Overnight, in 2024.03 | ||
948 | |a MARCIVE Comp, in 2023.01 | ||
948 | |a MARCIVE Over, 07/2021 | ||
948 | |a MARCIVE Q2, 2018 | ||
948 | |a MARCIVE Comp, 2018.05 | ||
948 | |a MARCIVE Comp, 2017.10 | ||
948 | |a MARCIVE August, 2017 | ||
948 | |a MARCIVE extract Aug 5, 2017 | ||
933 | |a Marcive found issue: "700 1 |a Fehnker, Ansgar, |e editor." | ||
994 | |a 92 |b COM | ||
995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
995 | |a Loaded with m2btab.elec in 2024.02 | ||
995 | |a Loaded with m2btab.ltiac in 2023.01 | ||
995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
995 | |a Loaded with m2btab.elec in 2021.06 | ||
995 | |a Loaded with m2btab.ltiac in 2018.08 | ||
995 | |a Loaded with m2btab.ltiac in 2018.06 | ||
995 | 0 | 0 | |a OCLC offline update by CMU and loaded with m2btab.elec in 2018.04 |
995 | |a Loaded with m2btab.ltiac in 2017.10 | ||
995 | |a Loaded with m2btab.ltiac in 2017.09 | ||
995 | |a Loaded with m2btab.elec in 2016 | ||
995 | |a Loaded with m2btab.elec in 2016 | ||
995 | |a Loaded with m2btab.elec in 2016 | ||
995 | |a OCLC offline update by CMU | ||
995 | |a Loaded with m2btab.auth in 2021.07 | ||
995 | |a Loaded with m2btab.auth in 2024.03 | ||
999 | |e z | ||
999 | |a cue | ||
989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i150446998 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-662-48899-7 |3 SpringerLink |z Click here for access |