Logic, language, and security: essays dedicated to Andre Scedrov on the occasion of his 65th birthday
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cham
Springer
[2020]
|
| Series: | Lecture notes in computer science
12300 |
| Subjects: | |
| Physical Description: | x, 203 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030620769 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV047025633 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 201124s2020 xx a||| |||| 01||| eng d | ||
| 020 | |a 9783030620769 |9 978-3-030-62076-9 | ||
| 035 | |a (OCoLC)1224481540 | ||
| 035 | |a (DE-599)BVBBV047025633 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 245 | 1 | 0 | |a Logic, language, and security |b essays dedicated to Andre Scedrov on the occasion of his 65th birthday |c Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2020] | |
| 300 | |a x, 203 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 12300 | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Computer Systems Organization and Communication Networks | |
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer organization | |
| 650 | 4 | |a Software engineering | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 2 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Nigam, Vivek |4 edt | |
| 700 | 1 | |a Ščedrov, Andrej |d 1955- |0 (DE-588)172477875 |4 hnr | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-62077-6 |
| 830 | 0 | |a Lecture notes in computer science |v 12300 |w (DE-604)BV000000607 |9 12300 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032433021 | |
Record in the Search Index
| _version_ | 1820875789395034112 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Nigam, Vivek |
| author2_role | edt |
| author2_variant | v n vn |
| author_GND | (DE-588)172477875 |
| author_facet | Nigam, Vivek |
| building | Verbundindex |
| bvnumber | BV047025633 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1224481540 (DE-599)BVBBV047025633 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | 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">BV047025633</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">201124s2020 xx a||| |||| 01||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030620769</subfield><subfield code="9">978-3-030-62076-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1224481540</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047025633</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.131</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, language, and security</subfield><subfield code="b">essays dedicated to Andre Scedrov on the occasion of his 65th birthday</subfield><subfield code="c">Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">x, 203 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">12300</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">Artificial Intelligence</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 Systems Organization and Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</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 logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer organization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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">Nigam, Vivek</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ščedrov, Andrej</subfield><subfield code="d">1955-</subfield><subfield code="0">(DE-588)172477875</subfield><subfield code="4">hnr</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-62077-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12300</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">12300</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032433021</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Festschrift |
| id | DE-604.BV047025633 |
| illustrated | Illustrated |
| index_date | 2024-07-03T16:00:48Z |
| indexdate | 2025-01-10T15:21:13Z |
| institution | BVB |
| isbn | 9783030620769 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032433021 |
| oclc_num | 1224481540 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | x, 203 Seiten Illustrationen, Diagramme |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic, language, and security essays dedicated to Andre Scedrov on the occasion of his 65th birthday Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada (eds.) Cham Springer [2020] x, 203 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 12300 Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Computer Systems Organization and Communication Networks Software Engineering/Programming and Operating Systems Mathematical logic Artificial intelligence Computer logic Computer organization Software engineering Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)4016928-5 Festschrift gnd-content Mathematische Logik (DE-588)4037951-6 s Künstliche Intelligenz (DE-588)4033447-8 s Software Engineering (DE-588)4116521-4 s DE-604 Nigam, Vivek edt Ščedrov, Andrej 1955- (DE-588)172477875 hnr Erscheint auch als Online-Ausgabe 978-3-030-62077-6 Lecture notes in computer science 12300 (DE-604)BV000000607 12300 |
| spellingShingle | Logic, language, and security essays dedicated to Andre Scedrov on the occasion of his 65th birthday Lecture notes in computer science Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Computer Systems Organization and Communication Networks Software Engineering/Programming and Operating Systems Mathematical logic Artificial intelligence Computer logic Computer organization Software engineering Künstliche Intelligenz (DE-588)4033447-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4037951-6 (DE-588)4116521-4 (DE-588)4016928-5 |
| title | Logic, language, and security essays dedicated to Andre Scedrov on the occasion of his 65th birthday |
| title_auth | Logic, language, and security essays dedicated to Andre Scedrov on the occasion of his 65th birthday |
| title_exact_search | Logic, language, and security essays dedicated to Andre Scedrov on the occasion of his 65th birthday |
| title_exact_search_txtP | Logic, language, and security essays dedicated to Andre Scedrov on the occasion of his 65th birthday |
| title_full | Logic, language, and security essays dedicated to Andre Scedrov on the occasion of his 65th birthday Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada (eds.) |
| title_fullStr | Logic, language, and security essays dedicated to Andre Scedrov on the occasion of his 65th birthday Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada (eds.) |
| title_full_unstemmed | Logic, language, and security essays dedicated to Andre Scedrov on the occasion of his 65th birthday Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada (eds.) |
| title_short | Logic, language, and security |
| title_sort | logic language and security essays dedicated to andre scedrov on the occasion of his 65th birthday |
| title_sub | essays dedicated to Andre Scedrov on the occasion of his 65th birthday |
| topic | Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Computer Systems Organization and Communication Networks Software Engineering/Programming and Operating Systems Mathematical logic Artificial intelligence Computer logic Computer organization Software engineering Künstliche Intelligenz (DE-588)4033447-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Computer Systems Organization and Communication Networks Software Engineering/Programming and Operating Systems Mathematical logic Artificial intelligence Computer logic Computer organization Software engineering Künstliche Intelligenz Mathematische Logik Software Engineering Festschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT nigamvivek logiclanguageandsecurityessaysdedicatedtoandrescedrovontheoccasionofhis65thbirthday AT scedrovandrej logiclanguageandsecurityessaysdedicatedtoandrescedrovontheoccasionofhis65thbirthday |