Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Cham
Springer International Publishing
2015
|
| Edition: | 1st ed. 2015 |
| Series: | Lecture Notes in Computer Science
9195 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (XXVIII, 640 p.) graph. Darst. |
| ISBN: | 9783319214016 9783319214009 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-21401-6 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042730395 | ||
| 003 | DE-604 | ||
| 005 | 20170405 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150803s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319214016 |c Online |9 978-3-319-21401-6 | ||
| 020 | |a 9783319214009 |c Print |9 978-3-319-21400-9 | ||
| 024 | 7 | |a 10.1007/978-3-319-21401-6 |2 doi | |
| 035 | |a (OCoLC)915951802 | ||
| 035 | |a (DE-599)BVBBV042730395 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 006.6 |2 23 | |
| 082 | 0 | |a 006.37 |2 23 | |
| 084 | |a DAT 716f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Automated Deduction - CADE-25 |b 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings |c edited by Amy P. Felty, Aart Middeldorp |
| 250 | |a 1st ed. 2015 | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c 2015 | |
| 300 | |a 1 Online-Ressource (XXVIII, 640 p.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9195 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer vision | |
| 650 | 4 | |a Optical pattern recognition | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Image Processing and Computer Vision | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Information Systems Applications (incl. Internet) | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Pattern Recognition | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 01.08.2015-07.08.2015 |z Berlin |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Felty, Amy |e Sonstige |4 oth | |
| 711 | 2 | |a CADE |n 25. |d 2015 |c Berlin |j Sonstige |0 (DE-588)107492651X |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9195 |w (DE-604)BV014880109 |9 9195 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-21401-6 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161426&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161426&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028161426 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804174941996711936 |
|---|---|
| adam_text | AUTOMATED DEDUCTION - CADE-25
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
AUTOMATED DEDUCTION.-FOUNDATIONS
APPLICATIONS
IMPLEMENTATIONS.-PRACTICAL EXPERIENCE
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
AUTOMATED DEDUCTION - CADE-25
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 25TH INTERNATIONAL
CONFERENCE ON AUTOMATED DEDUCTION, CADE-25, HELD IN BERLIN, GERMANY, IN
AUGUST 2015. THE 36 REVISED FULL PAPERS PRESENTED ( 24 FULL PAPERS AND
12 SYSTEM DESCRIPTIONS) WERE CAREFULLY REVIEWED AND SELECTED FROM 85
SUBMISSIONS. CADE IS THE MAJOR FORUM FOR THE PRESENTATION OF RESEARCH IN
ALL ASPECTS OF AUTOMATED DEDUCTION, INCLUDING FOUNDATIONS, APPLICATIONS,
IMPLEMENTATIONS AND PRACTICAL EXPERIENCE
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV042730395 |
| classification_tum | DAT 716f DAT 000 DAT 706f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)915951802 (DE-599)BVBBV042730395 |
| dewey-full | 006.6 006.37 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.6 006.37 |
| dewey-search | 006.6 006.37 |
| dewey-sort | 16.6 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-21401-6 |
| edition | 1st ed. 2015 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03191nmm a2200697zcb4500</leader><controlfield tag="001">BV042730395</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170405 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150803s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319214016</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-21401-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319214009</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-21400-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-21401-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915951802</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042730395</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.6</subfield><subfield code="2">23</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.37</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 716f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated Deduction - CADE-25</subfield><subfield code="b">25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings</subfield><subfield code="c">edited by Amy P. Felty, Aart Middeldorp</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2015</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXVIII, 640 p.)</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9195</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer vision</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Optical pattern recognition</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Image Processing and Computer Vision</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems Applications (incl. Internet)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Pattern Recognition</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">01.08.2015-07.08.2015</subfield><subfield code="z">Berlin</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Felty, Amy</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CADE</subfield><subfield code="n">25.</subfield><subfield code="d">2015</subfield><subfield code="c">Berlin</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)107492651X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9195</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9195</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-21401-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161426&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161426&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028161426</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 01.08.2015-07.08.2015 Berlin gnd-content |
| genre_facet | Konferenzschrift 01.08.2015-07.08.2015 Berlin |
| id | DE-604.BV042730395 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:08:24Z |
| institution | BVB |
| institution_GND | (DE-588)107492651X |
| isbn | 9783319214016 9783319214009 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028161426 |
| oclc_num | 915951802 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XXVIII, 640 p.) graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings edited by Amy P. Felty, Aart Middeldorp 1st ed. 2015 Cham Springer International Publishing 2015 1 Online-Ressource (XXVIII, 640 p.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9195 0302-9743 Computer science Computer software Artificial intelligence Computer vision Optical pattern recognition Computer Science Image Processing and Computer Vision Artificial Intelligence (incl. Robotics) Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Computation by Abstract Devices Pattern Recognition Informatik Künstliche Intelligenz Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 01.08.2015-07.08.2015 Berlin gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s 1\p DE-604 Felty, Amy Sonstige oth CADE 25. 2015 Berlin Sonstige (DE-588)107492651X oth Lecture Notes in Computer Science 9195 (DE-604)BV014880109 9195 https://doi.org/10.1007/978-3-319-21401-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161426&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161426&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings Lecture Notes in Computer Science Computer science Computer software Artificial intelligence Computer vision Optical pattern recognition Computer Science Image Processing and Computer Vision Artificial Intelligence (incl. Robotics) Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Computation by Abstract Devices Pattern Recognition Informatik Künstliche Intelligenz Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)1071861417 |
| title | Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings |
| title_auth | Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings |
| title_exact_search | Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings |
| title_full | Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings edited by Amy P. Felty, Aart Middeldorp |
| title_fullStr | Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings edited by Amy P. Felty, Aart Middeldorp |
| title_full_unstemmed | Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings edited by Amy P. Felty, Aart Middeldorp |
| title_short | Automated Deduction - CADE-25 |
| title_sort | automated deduction cade 25 25th international conference on automated deduction berlin germany august 1 7 2015 proceedings |
| title_sub | 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings |
| topic | Computer science Computer software Artificial intelligence Computer vision Optical pattern recognition Computer Science Image Processing and Computer Vision Artificial Intelligence (incl. Robotics) Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Computation by Abstract Devices Pattern Recognition Informatik Künstliche Intelligenz Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Computer science Computer software Artificial intelligence Computer vision Optical pattern recognition Computer Science Image Processing and Computer Vision Artificial Intelligence (incl. Robotics) Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Computation by Abstract Devices Pattern Recognition Informatik Künstliche Intelligenz Automatisches Beweisverfahren Konferenzschrift 01.08.2015-07.08.2015 Berlin |
| url | https://doi.org/10.1007/978-3-319-21401-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161426&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161426&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT feltyamy automateddeductioncade2525thinternationalconferenceonautomateddeductionberlingermanyaugust172015proceedings AT cadeberlin automateddeductioncade2525thinternationalconferenceonautomateddeductionberlingermanyaugust172015proceedings |