Automated reasoning with analytic tableaux and related methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
[Cham]
Springer
[2017]
|
| Schriftenreihe: | Lecture notes in computer science
10501 |
| Schlagworte: | |
| Beschreibung: | XII, 381 Seiten Illustrationen, Diagramme |
| ISBN: | 9783319669014 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044687483 | ||
| 003 | DE-604 | ||
| 005 | 20180112 | ||
| 007 | t| | ||
| 008 | 171218s2017 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783319669014 |c Print |9 978-3-319-66901-4 | ||
| 035 | |a (OCoLC)1004814817 | ||
| 035 | |a (DE-599)BVBBV044687483 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 084 | |a DAT 706f |2 stub | ||
| 111 | 2 | |a TABLEAUX |n 26. |d 2017 |c Brasília |j Verfasser |0 (DE-588)1140538764 |4 aut | |
| 245 | 1 | 0 | |a Automated reasoning with analytic tableaux and related methods |b 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017 : proceedings |c Renate A. Schmidt, Cláudia Nalon (eds.) |
| 264 | 1 | |a [Cham] |b Springer |c [2017] | |
| 300 | |a XII, 381 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 10501 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 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 Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 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 2017 |z Brasília |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Schmidt, Renate A. |4 edt | |
| 700 | 1 | |a Nalon, Cláudia |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-66902-1 |
| 830 | 0 | |a Lecture notes in computer science |v 10501 |w (DE-604)BV000000607 |9 10501 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030084467 | |
Datensatz im Suchindex
| _version_ | 1820875712847937536 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Schmidt, Renate A. Nalon, Cláudia |
| author2_role | edt edt |
| author2_variant | r a s ra ras c n cn |
| author_corporate | TABLEAUX Brasília |
| author_corporate_role | aut |
| author_facet | Schmidt, Renate A. Nalon, Cláudia TABLEAUX Brasília |
| author_sort | TABLEAUX Brasília |
| building | Verbundindex |
| bvnumber | BV044687483 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)1004814817 (DE-599)BVBBV044687483 |
| 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 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV044687483</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180112</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">171218s2017 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319669014</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-66901-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1004814817</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044687483</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-83</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 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">TABLEAUX</subfield><subfield code="n">26.</subfield><subfield code="d">2017</subfield><subfield code="c">Brasília</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1140538764</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated reasoning with analytic tableaux and related methods</subfield><subfield code="b">26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017 : proceedings</subfield><subfield code="c">Renate A. Schmidt, Cláudia Nalon (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 381 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">10501</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">Programming languages (Electronic computers)</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">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">Programming Languages, Compilers, Interpreters</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="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">2017</subfield><subfield code="z">Brasília</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">Schmidt, Renate A.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nalon, Cláudia</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-66902-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10501</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10501</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030084467</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2017 Brasília gnd-content |
| genre_facet | Konferenzschrift 2017 Brasília |
| id | DE-604.BV044687483 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:20:00Z |
| institution | BVB |
| institution_GND | (DE-588)1140538764 |
| isbn | 9783319669014 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030084467 |
| oclc_num | 1004814817 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XII, 381 Seiten Illustrationen, Diagramme |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | TABLEAUX 26. 2017 Brasília Verfasser (DE-588)1140538764 aut Automated reasoning with analytic tableaux and related methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017 : proceedings Renate A. Schmidt, Cláudia Nalon (eds.) [Cham] Springer [2017] XII, 381 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10501 Computer science Computer programming Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Informatik Künstliche Intelligenz Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2017 Brasília gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Schmidt, Renate A. edt Nalon, Cláudia edt Erscheint auch als Online-Ausgabe 978-3-319-66902-1 Lecture notes in computer science 10501 (DE-604)BV000000607 10501 |
| spellingShingle | Automated reasoning with analytic tableaux and related methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017 : proceedings Lecture notes in computer science Computer science Computer programming Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Informatik Künstliche Intelligenz 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 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017 : proceedings |
| title_auth | Automated reasoning with analytic tableaux and related methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017 : proceedings |
| title_exact_search | Automated reasoning with analytic tableaux and related methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017 : proceedings |
| title_full | Automated reasoning with analytic tableaux and related methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017 : proceedings Renate A. Schmidt, Cláudia Nalon (eds.) |
| title_fullStr | Automated reasoning with analytic tableaux and related methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017 : proceedings Renate A. Schmidt, Cláudia Nalon (eds.) |
| title_full_unstemmed | Automated reasoning with analytic tableaux and related methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017 : proceedings Renate A. Schmidt, Cláudia Nalon (eds.) |
| title_short | Automated reasoning with analytic tableaux and related methods |
| title_sort | automated reasoning with analytic tableaux and related methods 26th international conference tableaux 2017 brasilia brazil september 25 28 2017 proceedings |
| title_sub | 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017 : proceedings |
| topic | Computer science Computer programming Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Informatik Künstliche Intelligenz Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Computer science Computer programming Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Informatik Künstliche Intelligenz Automatisches Beweisverfahren Konferenzschrift 2017 Brasília |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT tableauxbrasilia automatedreasoningwithanalytictableauxandrelatedmethods26thinternationalconferencetableaux2017brasiliabrazilseptember25282017proceedings AT schmidtrenatea automatedreasoningwithanalytictableauxandrelatedmethods26thinternationalconferencetableaux2017brasiliabrazilseptember25282017proceedings AT nalonclaudia automatedreasoningwithanalytictableauxandrelatedmethods26thinternationalconferencetableaux2017brasiliabrazilseptember25282017proceedings |