Handbook of logic in computer science: 1 Background: mathematical structures
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon
1992
|
| Schriftenreihe: | Oxford science publications
|
| Schlagworte: | |
| Beschreibung: | XII, 827 S. graph. Darst. |
| ISBN: | 0198537352 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV007221080 | ||
| 003 | DE-604 | ||
| 005 | 19930623 | ||
| 007 | t | ||
| 008 | 930505s1992 xxkd||| |||| 00||| engod | ||
| 020 | |a 0198537352 |9 0-19-853735-2 | ||
| 035 | |a (OCoLC)490122952 | ||
| 035 | |a (DE-599)BVBBV007221080 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c XA-GB | ||
| 049 | |a DE-91G |a DE-473 |a DE-384 |a DE-355 |a DE-739 |a DE-19 |a DE-29T |a DE-706 |a DE-521 |a DE-634 |a DE-11 |a DE-188 | ||
| 082 | 0 | |a 004.015 113 |2 22 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 245 | 1 | 0 | |a Handbook of logic in computer science |n 1 |p Background: mathematical structures |c ed. by S. Abramsky ... |
| 264 | 1 | |a Oxford |b Clarendon |c 1992 | |
| 300 | |a XII, 827 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 algèbre universelle |2 inriac | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a système évaluation |2 inriac | |
| 650 | 7 | |a théorie catégorie |2 inriac | |
| 650 | 7 | |a théorie modèle |2 inriac | |
| 650 | 7 | |a théorie récursivité |2 inriac | |
| 650 | 7 | |a topologie |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 1 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004626480 | ||
Datensatz im Suchindex
| _version_ | 1804121435928526848 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)142172561 |
| building | Verbundindex |
| bvnumber | BV007221080 |
| classification_rvk | ST 120 |
| ctrlnum | (OCoLC)490122952 (DE-599)BVBBV007221080 |
| dewey-full | 004.015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.015 113 |
| dewey-search | 004.015 113 |
| dewey-sort | 14.015 3113 |
| 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>01477nam a2200433 cc4500</leader><controlfield tag="001">BV007221080</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19930623 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930505s1992 xxkd||| |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198537352</subfield><subfield code="9">0-19-853735-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)490122952</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007221080</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-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015 113</subfield><subfield code="2">22</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="245" ind1="1" ind2="0"><subfield code="a">Handbook of logic in computer science</subfield><subfield code="n">1</subfield><subfield code="p">Background: mathematical 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">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 827 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">algèbre universelle</subfield><subfield code="2">inriac</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">logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système évaluation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie catégorie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie modèle</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="650" ind1=" " ind2="7"><subfield code="a">topologie</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">1</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004626480</subfield></datafield></record></collection> |
| id | DE-604.BV007221080 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:57:57Z |
| institution | BVB |
| isbn | 0198537352 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004626480 |
| oclc_num | 490122952 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-384 DE-355 DE-BY-UBR DE-739 DE-19 DE-BY-UBM DE-29T DE-706 DE-521 DE-634 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-384 DE-355 DE-BY-UBR DE-739 DE-19 DE-BY-UBM DE-29T DE-706 DE-521 DE-634 DE-11 DE-188 |
| physical | XII, 827 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Clarendon |
| record_format | marc |
| series2 | Oxford science publications |
| spelling | Handbook of logic in computer science 1 Background: mathematical structures ed. by S. Abramsky ... Oxford Clarendon 1992 XII, 827 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Oxford science publications Informatique ram Logique symbolique et mathématique ram algèbre universelle inriac informatique théorique inriac logique inriac système évaluation inriac théorie catégorie inriac théorie modèle inriac théorie récursivité inriac topologie inriac Abramsky, Samson 1953- Sonstige (DE-588)142172561 oth (DE-604)BV007221075 1 |
| spellingShingle | Handbook of logic in computer science Informatique ram Logique symbolique et mathématique ram algèbre universelle inriac informatique théorique inriac logique inriac système évaluation inriac théorie catégorie inriac théorie modèle inriac théorie récursivité inriac topologie 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 1 Background: mathematical structures ed. by S. Abramsky ... |
| title_fullStr | Handbook of logic in computer science 1 Background: mathematical structures ed. by S. Abramsky ... |
| title_full_unstemmed | Handbook of logic in computer science 1 Background: mathematical structures ed. by S. Abramsky ... |
| title_short | Handbook of logic in computer science |
| title_sort | handbook of logic in computer science background mathematical structures |
| topic | Informatique ram Logique symbolique et mathématique ram algèbre universelle inriac informatique théorique inriac logique inriac système évaluation inriac théorie catégorie inriac théorie modèle inriac théorie récursivité inriac topologie inriac |
| topic_facet | Informatique Logique symbolique et mathématique algèbre universelle informatique théorique logique système évaluation théorie catégorie théorie modèle théorie récursivité topologie |
| volume_link | (DE-604)BV007221075 |
| work_keys_str_mv | AT abramskysamson handbookoflogicincomputerscience1 |