Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
[2015]
|
| Ausgabe: | 1st ed. |
| Schriftenreihe: | Lecture Notes in Computer Science
9323 |
| Schlagworte: | |
| Online-Zugang: | Volltext Abstract |
| Beschreibung: | XVI, 355 Seiten |
| ISBN: | 9783319243122 9783319243115 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-24312-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043209480 | ||
| 003 | DE-604 | ||
| 005 | 20200513 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319243122 |c Online |9 978-3-319-24312-2 | ||
| 020 | |a 9783319243115 |c Print |9 978-3-319-24311-5 | ||
| 024 | 7 | |a 10.1007/978-3-319-24312-2 |2 doi | |
| 035 | |a (OCoLC)923656856 | ||
| 035 | |a (DE-599)BVBBV043209480 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 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.3 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Automated Reasoning with Analytic Tableaux and Related Methods |b 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings |c edited by Hans De Nivelle |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c [2015] | |
| 300 | |a XVI, 355 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9323 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Nivelle, Hans de |d 1967- |e Sonstige |0 (DE-588)137109652 |4 oth | |
| 711 | 2 | |a TABLEAUX |n 24. |d 2015 |c Breslau |j Sonstige |0 (DE-588)1079499261 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9323 |w (DE-604)BV014880109 |9 9323 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-24312-2 |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=028632641&sequence=000001&line_number=0001&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-028632641 | ||
Datensatz im Suchindex
| _version_ | 1804175708506816512 |
|---|---|
| adam_text | AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 24TH INTERNATIONAL
CONFERENCE ON AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED
METHODS, TABLEAUX 2015, HELD IN WROCLAW, POLAND, IN SEPTEMBER 2015.
THE 19 FULL PAPERS AND 2 PAPERS PRESENTED IN THIS VOLUME WERE CAREFULLY
REVIEWED AND SELECTED FROM 34 SUBMISSIONS. THEY ARE ORGANIZED IN TOPICAL
SECTIONS NAMED: TABLEAUX CALCULI; SEQUENT CALCULUS; RESOLUTION; OTHER
CALCULI; AND APPLICATIONS.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)137109652 |
| building | Verbundindex |
| bvnumber | BV043209480 |
| classification_tum | DAT 000 DAT 706f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)923656856 (DE-599)BVBBV043209480 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-24312-2 |
| edition | 1st ed. |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02849nmm a2200685zcb4500</leader><controlfield tag="001">BV043209480</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200513 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319243122</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-24312-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319243115</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-24311-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-24312-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)923656856</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209480</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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.3</subfield><subfield code="2">23</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 Reasoning with Analytic Tableaux and Related Methods</subfield><subfield code="b">24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings</subfield><subfield code="c">edited by Hans De Nivelle</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</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">XVI, 355 Seiten</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">9323</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 programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</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 Science</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">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</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=" " ind2="4"><subfield code="a">Mathematik</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="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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nivelle, Hans de</subfield><subfield code="d">1967-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)137109652</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TABLEAUX</subfield><subfield code="n">24.</subfield><subfield code="d">2015</subfield><subfield code="c">Breslau</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1079499261</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">9323</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9323</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-24312-2</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=028632641&sequence=000001&line_number=0001&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-028632641</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043209480 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:35Z |
| institution | BVB |
| institution_GND | (DE-588)1079499261 |
| isbn | 9783319243122 9783319243115 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632641 |
| oclc_num | 923656856 |
| 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 | XVI, 355 Seiten |
| 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 Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings edited by Hans De Nivelle 1st ed. Cham Springer International Publishing [2015] XVI, 355 Seiten txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9323 0302-9743 Computer science Computer programming Software engineering Computer logic Mathematical logic Computer science / Mathematics Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Programming Techniques Software Engineering Discrete Mathematics in Computer Science Logics and Meanings of Programs Informatik Künstliche Intelligenz Mathematik Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Nivelle, Hans de 1967- Sonstige (DE-588)137109652 oth TABLEAUX 24. 2015 Breslau Sonstige (DE-588)1079499261 oth Lecture Notes in Computer Science 9323 (DE-604)BV014880109 9323 https://doi.org/10.1007/978-3-319-24312-2 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632641&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings Lecture Notes in Computer Science Computer science Computer programming Software engineering Computer logic Mathematical logic Computer science / Mathematics Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Programming Techniques Software Engineering Discrete Mathematics in Computer Science Logics and Meanings of Programs Informatik Künstliche Intelligenz Mathematik Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)1071861417 |
| title | Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings |
| title_auth | Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings |
| title_exact_search | Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings |
| title_full | Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings edited by Hans De Nivelle |
| title_fullStr | Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings edited by Hans De Nivelle |
| title_full_unstemmed | Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings edited by Hans De Nivelle |
| title_short | Automated Reasoning with Analytic Tableaux and Related Methods |
| title_sort | automated reasoning with analytic tableaux and related methods 24th international conference tableaux 2015 wroclaw poland september 21 24 2015 proceedings |
| title_sub | 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings |
| topic | Computer science Computer programming Software engineering Computer logic Mathematical logic Computer science / Mathematics Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Programming Techniques Software Engineering Discrete Mathematics in Computer Science Logics and Meanings of Programs Informatik Künstliche Intelligenz Mathematik Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Computer science Computer programming Software engineering Computer logic Mathematical logic Computer science / Mathematics Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Programming Techniques Software Engineering Discrete Mathematics in Computer Science Logics and Meanings of Programs Informatik Künstliche Intelligenz Mathematik Automatisches Beweisverfahren Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-24312-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632641&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT nivellehansde automatedreasoningwithanalytictableauxandrelatedmethods24thinternationalconferencetableaux2015wroclawpolandseptember21242015proceedings AT tableauxbreslau automatedreasoningwithanalytictableauxandrelatedmethods24thinternationalconferencetableaux2015wroclawpolandseptember21242015proceedings |