Perspectives of system informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019 : revised selected papers
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2019]
|
| Schriftenreihe: | Lecture notes in computer science
11964 |
| Schlagworte: | |
| Beschreibung: | xviii, 261 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030374860 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046347316 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 200122s2019 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030374860 |9 978-3-030-37486-0 | ||
| 035 | |a (OCoLC)1137814565 | ||
| 035 | |a (DE-599)BVBBV046347316 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 245 | 1 | 0 | |a Perspectives of system informatics |b 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019 : revised selected papers |c Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2019] | |
| 300 | |a xviii, 261 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 11964 | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Special Purpose and Application-Based Systems | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Logic in AI. | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer communication systems | |
| 650 | 4 | |a Special purpose computers | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2019 |z Nowosibirsk |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | 2 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Bjørner, Nikolaj |0 (DE-588)1013608240 |4 edt | |
| 711 | 2 | |a International Andrei P. Ershov Informatics Conference |n 12. |d 2019 |c Nowosibirsk |0 (DE-588)1203215746 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-37487-7 |
| 830 | 0 | |a Lecture notes in computer science |v 11964 |w (DE-604)BV000000607 |9 11964 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-031723886 | |
Datensatz im Suchindex
| _version_ | 1820875761272225792 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Bjørner, Nikolaj |
| author2_role | edt |
| author2_variant | n b nb |
| author_GND | (DE-588)1013608240 |
| author_facet | Bjørner, Nikolaj |
| building | Verbundindex |
| bvnumber | BV046347316 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1137814565 (DE-599)BVBBV046347316 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| 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">BV046347316</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">200122s2019 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030374860</subfield><subfield code="9">978-3-030-37486-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1137814565</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046347316</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">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Perspectives of system informatics</subfield><subfield code="b">12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019 : revised selected papers</subfield><subfield code="c">Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xviii, 261 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">11964</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">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special Purpose and Application-Based Systems</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">Logic in AI.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer communication systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special purpose computers</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 programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">2019</subfield><subfield code="z">Nowosibirsk</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bjørner, Nikolaj</subfield><subfield code="0">(DE-588)1013608240</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Andrei P. Ershov Informatics Conference</subfield><subfield code="n">12.</subfield><subfield code="d">2019</subfield><subfield code="c">Nowosibirsk</subfield><subfield code="0">(DE-588)1203215746</subfield><subfield code="4">oth</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-030-37487-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11964</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">11964</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031723886</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2019 Nowosibirsk gnd-content |
| genre_facet | Konferenzschrift 2019 Nowosibirsk |
| id | DE-604.BV046347316 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:20:46Z |
| institution | BVB |
| institution_GND | (DE-588)1203215746 |
| isbn | 9783030374860 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031723886 |
| oclc_num | 1137814565 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xviii, 261 Seiten Illustrationen, Diagramme |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Perspectives of system informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019 : revised selected papers Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov (eds.) Cham Springer [2019] xviii, 261 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 11964 Logics and Meanings of Programs Computer Communication Networks Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages Programming Techniques Logic in AI. Computer logic Computer communication systems Special purpose computers Mathematical logic Computer programming Artificial intelligence Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2019 Nowosibirsk gnd-content Theoretische Informatik (DE-588)4196735-5 s Programmierung (DE-588)4076370-5 s Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Systementwicklung (DE-588)4126945-7 s 1\p DE-604 Softwareentwicklung (DE-588)4116522-6 s 2\p DE-604 Bjørner, Nikolaj (DE-588)1013608240 edt International Andrei P. Ershov Informatics Conference 12. 2019 Nowosibirsk (DE-588)1203215746 oth Erscheint auch als Online-Ausgabe 978-3-030-37487-7 Lecture notes in computer science 11964 (DE-604)BV000000607 11964 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Perspectives of system informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019 : revised selected papers Lecture notes in computer science Logics and Meanings of Programs Computer Communication Networks Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages Programming Techniques Logic in AI. Computer logic Computer communication systems Special purpose computers Mathematical logic Computer programming Artificial intelligence Softwareentwicklung (DE-588)4116522-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Systementwicklung (DE-588)4126945-7 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4196735-5 (DE-588)4033447-8 (DE-588)4126945-7 (DE-588)4076370-5 (DE-588)1071861417 |
| title | Perspectives of system informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019 : revised selected papers |
| title_auth | Perspectives of system informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019 : revised selected papers |
| title_exact_search | Perspectives of system informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019 : revised selected papers |
| title_full | Perspectives of system informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019 : revised selected papers Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov (eds.) |
| title_fullStr | Perspectives of system informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019 : revised selected papers Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov (eds.) |
| title_full_unstemmed | Perspectives of system informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019 : revised selected papers Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov (eds.) |
| title_short | Perspectives of system informatics |
| title_sort | perspectives of system informatics 12th international andrei p ershov informatics conference psi 2019 novosibirsk russia july 2 5 2019 revised selected papers |
| title_sub | 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019 : revised selected papers |
| topic | Logics and Meanings of Programs Computer Communication Networks Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages Programming Techniques Logic in AI. Computer logic Computer communication systems Special purpose computers Mathematical logic Computer programming Artificial intelligence Softwareentwicklung (DE-588)4116522-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Systementwicklung (DE-588)4126945-7 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Logics and Meanings of Programs Computer Communication Networks Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages Programming Techniques Logic in AI. Computer logic Computer communication systems Special purpose computers Mathematical logic Computer programming Artificial intelligence Softwareentwicklung Theoretische Informatik Künstliche Intelligenz Systementwicklung Programmierung Konferenzschrift 2019 Nowosibirsk |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bjørnernikolaj perspectivesofsysteminformatics12thinternationalandreipershovinformaticsconferencepsi2019novosibirskrussiajuly252019revisedselectedpapers AT internationalandreipershovinformaticsconferencenowosibirsk perspectivesofsysteminformatics12thinternationalandreipershovinformaticsconferencepsi2019novosibirskrussiajuly252019revisedselectedpapers |