Handbook of logic in computer science: 3 Semantic structures
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Oxford
Clarendon
1994
|
| Series: | Oxford science publications
|
| Subjects: | |
| Physical Description: | XIII, 490 S. graph. Darst. |
| ISBN: | 019853762X |
Staff View
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV010179592 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 950512s1994 xxkd||| |||| 00||| eng d | ||
| 020 | |a 019853762X |9 0-19-853762-X | ||
| 035 | |a (OCoLC)489936611 | ||
| 035 | |a (DE-599)BVBBV010179592 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c XA-GB | ||
| 049 | |a DE-739 |a DE-19 |a DE-29T |a DE-91G |a DE-384 |a DE-824 |a DE-473 |a DE-521 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 082 | 0 | |a 005.1 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a 68Q55 |2 msc | ||
| 084 | |a 68-00 |2 msc | ||
| 245 | 1 | 0 | |a Handbook of logic in computer science |n 3 |p Semantic structures |c ed. by S. Abramsky ... |
| 264 | 1 | |a Oxford |b Clarendon |c 1994 | |
| 300 | |a XIII, 490 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Oxford science publications | |
| 650 | 7 | |a Informatique |2 ram | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a sémantique algébrique |2 inriac | |
| 650 | 7 | |a sémantique dénotationnelle |2 inriac | |
| 650 | 7 | |a sémantique langage programmation |2 inriac | |
| 650 | 7 | |a théorie domaine |2 inriac | |
| 650 | 7 | |a théorie récursivité |2 inriac | |
| 700 | 1 | |a Abramsky, Samson |d 1953- |e Sonstige |0 (DE-588)142172561 |4 oth | |
| 773 | 0 | 8 | |w (DE-604)BV007221075 |g 3 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006761852 | ||
Record in the Search Index
| _version_ | 1804124578173157376 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)142172561 |
| building | Verbundindex |
| bvnumber | BV010179592 |
| classification_rvk | ST 120 |
| ctrlnum | (OCoLC)489936611 (DE-599)BVBBV010179592 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01464nam a2200433 cc4500</leader><controlfield tag="001">BV010179592</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950512s1994 xxkd||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">019853762X</subfield><subfield code="9">0-19-853762-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)489936611</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010179592</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">XA-GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68Q55</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68-00</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of logic in computer science</subfield><subfield code="n">3</subfield><subfield code="p">Semantic structures</subfield><subfield code="c">ed. by S. Abramsky ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 490 S.</subfield><subfield code="b">graph. Darst.</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="0" ind2=" "><subfield code="a">Oxford science publications</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">informatique théorique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique dénotationnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie domaine</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie récursivité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Abramsky, Samson</subfield><subfield code="d">1953-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)142172561</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV007221075</subfield><subfield code="g">3</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006761852</subfield></datafield></record></collection> |
| id | DE-604.BV010179592 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:47:53Z |
| institution | BVB |
| isbn | 019853762X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006761852 |
| oclc_num | 489936611 |
| open_access_boolean | |
| owner | DE-739 DE-19 DE-BY-UBM DE-29T DE-91G DE-BY-TUM DE-384 DE-824 DE-473 DE-BY-UBG DE-521 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-739 DE-19 DE-BY-UBM DE-29T DE-91G DE-BY-TUM DE-384 DE-824 DE-473 DE-BY-UBG DE-521 DE-634 DE-83 DE-11 DE-188 |
| physical | XIII, 490 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Clarendon |
| record_format | marc |
| series2 | Oxford science publications |
| spelling | Handbook of logic in computer science 3 Semantic structures ed. by S. Abramsky ... Oxford Clarendon 1994 XIII, 490 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Oxford science publications Informatique ram Logique symbolique et mathématique ram informatique théorique inriac sémantique algébrique inriac sémantique dénotationnelle inriac sémantique langage programmation inriac théorie domaine inriac théorie récursivité inriac Abramsky, Samson 1953- Sonstige (DE-588)142172561 oth (DE-604)BV007221075 3 |
| spellingShingle | Handbook of logic in computer science Informatique ram Logique symbolique et mathématique ram informatique théorique inriac sémantique algébrique inriac sémantique dénotationnelle inriac sémantique langage programmation inriac théorie domaine inriac théorie récursivité inriac |
| title | Handbook of logic in computer science |
| title_auth | Handbook of logic in computer science |
| title_exact_search | Handbook of logic in computer science |
| title_full | Handbook of logic in computer science 3 Semantic structures ed. by S. Abramsky ... |
| title_fullStr | Handbook of logic in computer science 3 Semantic structures ed. by S. Abramsky ... |
| title_full_unstemmed | Handbook of logic in computer science 3 Semantic structures ed. by S. Abramsky ... |
| title_short | Handbook of logic in computer science |
| title_sort | handbook of logic in computer science semantic structures |
| topic | Informatique ram Logique symbolique et mathématique ram informatique théorique inriac sémantique algébrique inriac sémantique dénotationnelle inriac sémantique langage programmation inriac théorie domaine inriac théorie récursivité inriac |
| topic_facet | Informatique Logique symbolique et mathématique informatique théorique sémantique algébrique sémantique dénotationnelle sémantique langage programmation théorie domaine théorie récursivité |
| volume_link | (DE-604)BV007221075 |
| work_keys_str_mv | AT abramskysamson handbookoflogicincomputerscience3 |