Logic of domains:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boston [u.a.]
Birkhäuser
1991
|
| Ausgabe: | 1. print. |
| Schriftenreihe: | Progress in theoretical computer science
|
| Schlagworte: | |
| Beschreibung: | 259 S. |
| ISBN: | 081763570X 376433570X |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021901528 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 911216s1991 |||| 00||| eng d | ||
| 020 | |a 081763570X |9 0-8176-3570-X | ||
| 020 | |a 376433570X |9 3-7643-3570-X | ||
| 035 | |a (OCoLC)24068507 | ||
| 035 | |a (DE-599)BVBBV021901528 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 100 | 1 | |a Zhang, Guo-Qiang |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic of domains |c Guo-Qiang Zhang |
| 250 | |a 1. print. | ||
| 264 | 1 | |a Boston [u.a.] |b Birkhäuser |c 1991 | |
| 300 | |a 259 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Progress in theoretical computer science | |
| 650 | 4 | |a Langages de programmation - Sémantique | |
| 650 | 7 | |a Langages de programmation - Sémantique |2 ram | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a domaine SFP |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a logique symbolique |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 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Semantik |0 (DE-588)4194483-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantischer Bereich |0 (DE-588)4210163-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Attributwertebereich |0 (DE-588)4281335-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | 1 | |a Funktionale Semantik |0 (DE-588)4194483-5 |D s |
| 689 | 1 | 2 | |a Semantischer Bereich |0 (DE-588)4210163-3 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 2 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 689 | 3 | 0 | |a Attributwertebereich |0 (DE-588)4281335-9 |D s |
| 689 | 3 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 3 | |8 4\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015116709 | ||
| 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 | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804135848032075776 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Zhang, Guo-Qiang |
| author_facet | Zhang, Guo-Qiang |
| author_role | aut |
| author_sort | Zhang, Guo-Qiang |
| author_variant | g q z gqz |
| building | Verbundindex |
| bvnumber | BV021901528 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 ST 120 ST 130 ST 140 |
| ctrlnum | (OCoLC)24068507 (DE-599)BVBBV021901528 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| discipline_str_mv | Informatik Mathematik |
| edition | 1. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03071nam a2200793zc 4500</leader><controlfield tag="001">BV021901528</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">911216s1991 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">081763570X</subfield><subfield code="9">0-8176-3570-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">376433570X</subfield><subfield code="9">3-7643-3570-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24068507</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021901528</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</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">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zhang, Guo-Qiang</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic of domains</subfield><subfield code="c">Guo-Qiang Zhang</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston [u.a.]</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">259 S.</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">Progress in theoretical computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation - Sémantique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation - Sémantique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</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">domaine SFP</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique symbolique</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="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</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">Funktionale Semantik</subfield><subfield code="0">(DE-588)4194483-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantischer Bereich</subfield><subfield code="0">(DE-588)4210163-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Attributwertebereich</subfield><subfield code="0">(DE-588)4281335-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Funktionale Semantik</subfield><subfield code="0">(DE-588)4194483-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Semantischer Bereich</subfield><subfield code="0">(DE-588)4210163-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Attributwertebereich</subfield><subfield code="0">(DE-588)4281335-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015116709</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="883" ind1="1" ind2=" "><subfield code="8">3\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">4\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></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV021901528 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:04:42Z |
| indexdate | 2024-07-09T20:47:01Z |
| institution | BVB |
| isbn | 081763570X 376433570X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015116709 |
| oclc_num | 24068507 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 259 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Birkhäuser |
| record_format | marc |
| series2 | Progress in theoretical computer science |
| spelling | Zhang, Guo-Qiang Verfasser aut Logic of domains Guo-Qiang Zhang 1. print. Boston [u.a.] Birkhäuser 1991 259 S. txt rdacontent n rdamedia nc rdacarrier Progress in theoretical computer science Langages de programmation - Sémantique Langages de programmation - Sémantique ram Logique symbolique et mathématique Logique symbolique et mathématique ram domaine SFP inriac logique mathématique inriac logique symbolique inriac sémantique dénotationnelle inriac sémantique langage programmation inriac théorie domaine inriac Logic, Symbolic and mathematical Programming languages (Electronic computers) Semantics Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Funktionale Semantik (DE-588)4194483-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Semantischer Bereich (DE-588)4210163-3 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Attributwertebereich (DE-588)4281335-9 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Programmiersprache (DE-588)4047409-4 s Funktionale Semantik (DE-588)4194483-5 s Semantischer Bereich (DE-588)4210163-3 s 2\p DE-604 Semantik (DE-588)4054490-4 s 3\p DE-604 Attributwertebereich (DE-588)4281335-9 s Logik (DE-588)4036202-4 s 4\p DE-604 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Zhang, Guo-Qiang Logic of domains Langages de programmation - Sémantique Langages de programmation - Sémantique ram Logique symbolique et mathématique Logique symbolique et mathématique ram domaine SFP inriac logique mathématique inriac logique symbolique inriac sémantique dénotationnelle inriac sémantique langage programmation inriac théorie domaine inriac Logic, Symbolic and mathematical Programming languages (Electronic computers) Semantics Mathematische Logik (DE-588)4037951-6 gnd Funktionale Semantik (DE-588)4194483-5 gnd Programmiersprache (DE-588)4047409-4 gnd Semantik (DE-588)4054490-4 gnd Semantischer Bereich (DE-588)4210163-3 gnd Logik (DE-588)4036202-4 gnd Attributwertebereich (DE-588)4281335-9 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4194483-5 (DE-588)4047409-4 (DE-588)4054490-4 (DE-588)4210163-3 (DE-588)4036202-4 (DE-588)4281335-9 (DE-588)4113937-9 |
| title | Logic of domains |
| title_auth | Logic of domains |
| title_exact_search | Logic of domains |
| title_exact_search_txtP | Logic of domains |
| title_full | Logic of domains Guo-Qiang Zhang |
| title_fullStr | Logic of domains Guo-Qiang Zhang |
| title_full_unstemmed | Logic of domains Guo-Qiang Zhang |
| title_short | Logic of domains |
| title_sort | logic of domains |
| topic | Langages de programmation - Sémantique Langages de programmation - Sémantique ram Logique symbolique et mathématique Logique symbolique et mathématique ram domaine SFP inriac logique mathématique inriac logique symbolique inriac sémantique dénotationnelle inriac sémantique langage programmation inriac théorie domaine inriac Logic, Symbolic and mathematical Programming languages (Electronic computers) Semantics Mathematische Logik (DE-588)4037951-6 gnd Funktionale Semantik (DE-588)4194483-5 gnd Programmiersprache (DE-588)4047409-4 gnd Semantik (DE-588)4054490-4 gnd Semantischer Bereich (DE-588)4210163-3 gnd Logik (DE-588)4036202-4 gnd Attributwertebereich (DE-588)4281335-9 gnd |
| topic_facet | Langages de programmation - Sémantique Logique symbolique et mathématique domaine SFP logique mathématique logique symbolique sémantique dénotationnelle sémantique langage programmation théorie domaine Logic, Symbolic and mathematical Programming languages (Electronic computers) Semantics Mathematische Logik Funktionale Semantik Programmiersprache Semantik Semantischer Bereich Logik Attributwertebereich Hochschulschrift |
| work_keys_str_mv | AT zhangguoqiang logicofdomains |