Handbook of logic in computer science 3 Semantic structures
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon
1994
|
| Schriftenreihe: | Oxford science publications
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
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 | ||
Datensatz im Suchindex
| DE-473_call_number | 30/ST 125 WR 8238-3 |
|---|---|
| DE-473_location | 0 |
| DE-BY-TUM_call_number | 0102/DAT 540b 2001 A 5991-3 |
| DE-BY-TUM_katkey | 653456 |
| DE-BY-TUM_media_number | 040010453517 |
| DE-BY-UBG_katkey | 1873796 |
| DE-BY-UBG_media_number | 013105840127 |
| _version_ | 1816711713132642305 |
| 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 |
| index_date | 2024-09-19T15:17:20Z |
| indexdate | 2024-11-25T17:14:19Z |
| 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 |
| 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 |