Automated reasoning with analytic tableaux and related methods: 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham
Springer
[2023]
|
| Series: | Lecture notes in artificial intelligence
14278 |
| Subjects: | |
| Physical Description: | xxv, 482 Seiten Illustrationen |
| ISBN: | 9783031435126 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049465357 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 231213s2023 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783031435126 |9 978-3-031-43512-6 | ||
| 024 | 7 | |a 20.500.12854/121698 |2 hdl | |
| 035 | |a (OCoLC)1398175178 | ||
| 035 | |a (DE-599)BVBBV049465357 | ||
| 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 000 |2 stub | ||
| 111 | 2 | |a TABLEAUX |n 32. |d 2023 |c Prag |j Verfasser |0 (DE-588)1308797877 |4 aut | |
| 245 | 1 | 0 | |a Automated reasoning with analytic tableaux and related methods |b 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings |c Revantha Ramanayake, Josef Urban, editors |
| 264 | 1 | |a Cham |b Springer |c [2023] | |
| 264 | 4 | |c © 2023 | |
| 300 | |a xxv, 482 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |a Lecture notes in artificial intelligence |v 14278 | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Formal Languages and Automata Theory | |
| 650 | 4 | |a Computer Science Logic and Foundations of Programming | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computer System Implementation | |
| 650 | 4 | |a Control Structures and Microprogramming | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer systems | |
| 650 | 4 | |a Microprogramming | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2023 |z Prag |2 gnd-content | |
| 700 | 1 | |a Ramanayake, Revantha |0 (DE-588)1268732508 |4 edt | |
| 700 | 1 | |a Urban, Josef |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-43513-3 |
| 830 | 0 | |a Lecture notes in artificial intelligence |v 14278 |w (DE-604)BV000000607 |9 14278 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034811036 | |
Record in the Search Index
| _version_ | 1820875837850779648 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Ramanayake, Revantha Urban, Josef |
| author2_role | edt edt |
| author2_variant | r r rr j u ju |
| author_GND | (DE-588)1268732508 |
| author_corporate | TABLEAUX Prag |
| author_corporate_role | aut |
| author_facet | Ramanayake, Revantha Urban, Josef TABLEAUX Prag |
| author_sort | TABLEAUX Prag |
| building | Verbundindex |
| bvnumber | BV049465357 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1398175178 (DE-599)BVBBV049465357 |
| 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 |
| discipline_str_mv | 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">BV049465357</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">231213s2023 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031435126</subfield><subfield code="9">978-3-031-43512-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">20.500.12854/121698</subfield><subfield code="2">hdl</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1398175178</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049465357</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 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">TABLEAUX</subfield><subfield code="n">32.</subfield><subfield code="d">2023</subfield><subfield code="c">Prag</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1308797877</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">32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings</subfield><subfield code="c">Revantha Ramanayake, Josef Urban, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2023]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxv, 482 Seiten</subfield><subfield code="b">Illustrationen</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="a">Lecture notes in artificial intelligence</subfield><subfield code="v">14278</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal Languages and Automata Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science Logic and Foundations of 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 System Implementation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Control Structures and Microprogramming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</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 systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprogramming </subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2023</subfield><subfield code="z">Prag</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ramanayake, Revantha</subfield><subfield code="0">(DE-588)1268732508</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Urban, Josef</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-031-43513-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in artificial intelligence</subfield><subfield code="v">14278</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">14278</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034811036</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2023 Prag gnd-content |
| genre_facet | Konferenzschrift 2023 Prag |
| id | DE-604.BV049465357 |
| illustrated | Illustrated |
| index_date | 2024-07-03T23:15:44Z |
| indexdate | 2025-01-10T15:21:59Z |
| institution | BVB |
| institution_GND | (DE-588)1308797877 |
| isbn | 9783031435126 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034811036 |
| oclc_num | 1398175178 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xxv, 482 Seiten Illustrationen |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in artificial intelligence |
| series2 | Lecture notes in computer science Lecture notes in artificial intelligence |
| spelling | TABLEAUX 32. 2023 Prag Verfasser (DE-588)1308797877 aut Automated reasoning with analytic tableaux and related methods 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings Revantha Ramanayake, Josef Urban, editors Cham Springer [2023] © 2023 xxv, 482 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science Lecture notes in artificial intelligence 14278 Artificial Intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Computer System Implementation Control Structures and Microprogramming Artificial intelligence Machine theory Computer science Software engineering Computer systems Microprogramming (DE-588)1071861417 Konferenzschrift 2023 Prag gnd-content Ramanayake, Revantha (DE-588)1268732508 edt Urban, Josef edt Erscheint auch als Online-Ausgabe 978-3-031-43513-3 Lecture notes in artificial intelligence 14278 (DE-604)BV000000607 14278 |
| spellingShingle | Automated reasoning with analytic tableaux and related methods 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings Lecture notes in artificial intelligence Artificial Intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Computer System Implementation Control Structures and Microprogramming Artificial intelligence Machine theory Computer science Software engineering Computer systems Microprogramming |
| subject_GND | (DE-588)1071861417 |
| title | Automated reasoning with analytic tableaux and related methods 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings |
| title_auth | Automated reasoning with analytic tableaux and related methods 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings |
| title_exact_search | Automated reasoning with analytic tableaux and related methods 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings |
| title_exact_search_txtP | Automated reasoning with analytic tableaux and related methods 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings |
| title_full | Automated reasoning with analytic tableaux and related methods 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings Revantha Ramanayake, Josef Urban, editors |
| title_fullStr | Automated reasoning with analytic tableaux and related methods 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings Revantha Ramanayake, Josef Urban, editors |
| title_full_unstemmed | Automated reasoning with analytic tableaux and related methods 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings Revantha Ramanayake, Josef Urban, editors |
| title_short | Automated reasoning with analytic tableaux and related methods |
| title_sort | automated reasoning with analytic tableaux and related methods 32nd international conference tableaux 2023 prague czech republic september 18 21 2023 proceedings |
| title_sub | 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings |
| topic | Artificial Intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Computer System Implementation Control Structures and Microprogramming Artificial intelligence Machine theory Computer science Software engineering Computer systems Microprogramming |
| topic_facet | Artificial Intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Computer System Implementation Control Structures and Microprogramming Artificial intelligence Machine theory Computer science Software engineering Computer systems Microprogramming Konferenzschrift 2023 Prag |
| url | 20.500.12854/121698 |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT tableauxprag automatedreasoningwithanalytictableauxandrelatedmethods32ndinternationalconferencetableaux2023pragueczechrepublicseptember18212023proceedings AT ramanayakerevantha automatedreasoningwithanalytictableauxandrelatedmethods32ndinternationalconferencetableaux2023pragueczechrepublicseptember18212023proceedings AT urbanjosef automatedreasoningwithanalytictableauxandrelatedmethods32ndinternationalconferencetableaux2023pragueczechrepublicseptember18212023proceedings |