Logic of domains:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boston u.a.
Birkhäuser
1991
|
| Schriftenreihe: | Progress in theoretical computer science
|
| Schlagworte: | |
| Beschreibung: | Literaturverz. S. 251 - 256. - Zugl. revision of: Cambridge, Univ., Diss., 1989 |
| Beschreibung: | 259 S. graph. Darst. |
| ISBN: | 081763570X 376433570X |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005849895 | ||
| 003 | DE-604 | ||
| 005 | 19921130 | ||
| 007 | t | ||
| 008 | 921102s1991 d||| m||| 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)BVBBV005849895 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-91G |a DE-384 |a DE-739 |a DE-20 |a DE-29T |a DE-11 | ||
| 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 | ||
| 084 | |a DAT 557d |2 stub | ||
| 100 | 1 | |a Zhang, Guo-Qiang |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic of domains |c Guo-Qiang Zhang |
| 264 | 1 | |a Boston u.a. |b Birkhäuser |c 1991 | |
| 300 | |a 259 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Progress in theoretical computer science | |
| 500 | |a Literaturverz. S. 251 - 256. - Zugl. revision of: Cambridge, Univ., Diss., 1989 | ||
| 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 Attributwertebereich |0 (DE-588)4281335-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-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 Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |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 Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Funktionale Semantik |0 (DE-588)4194483-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |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 | |5 DE-604 | |
| 689 | 3 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 3 | 1 | |a Funktionale Semantik |0 (DE-588)4194483-5 |D s |
| 689 | 3 | 2 | |a Semantischer Bereich |0 (DE-588)4210163-3 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Attributwertebereich |0 (DE-588)4281335-9 |D s |
| 689 | 4 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 4 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003663432 | ||
Datensatz im Suchindex
| _version_ | 1804120040618852352 |
|---|---|
| any_adam_object | |
| 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 | BV005849895 |
| 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 |
| classification_tum | DAT 557d |
| ctrlnum | (OCoLC)24068507 (DE-599)BVBBV005849895 |
| 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 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03013nam a2200793 c 4500</leader><controlfield tag="001">BV005849895</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19921130 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">921102s1991 d||| m||| 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)BVBBV005849895</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="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-11</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="084" ind1=" " ind2=" "><subfield code="a">DAT 557d</subfield><subfield code="2">stub</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="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><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">Progress in theoretical computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 251 - 256. - Zugl. revision of: Cambridge, Univ., Diss., 1989</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">Attributwertebereich</subfield><subfield code="0">(DE-588)4281335-9</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">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">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">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">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">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="655" ind1=" " ind2="7"><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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><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="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" 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="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" 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="4" 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="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003663432</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV005849895 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:35:46Z |
| institution | BVB |
| isbn | 081763570X 376433570X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003663432 |
| oclc_num | 24068507 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-739 DE-20 DE-29T DE-11 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-739 DE-20 DE-29T DE-11 |
| physical | 259 S. graph. Darst. |
| 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 Boston u.a. Birkhäuser 1991 259 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Progress in theoretical computer science Literaturverz. S. 251 - 256. - Zugl. revision of: Cambridge, Univ., Diss., 1989 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 Attributwertebereich (DE-588)4281335-9 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Semantischer Bereich (DE-588)4210163-3 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Funktionale Semantik (DE-588)4194483-5 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Programmiersprache (DE-588)4047409-4 s Funktionale Semantik (DE-588)4194483-5 s DE-604 Mathematische Logik (DE-588)4037951-6 s Semantik (DE-588)4054490-4 s Semantischer Bereich (DE-588)4210163-3 s Attributwertebereich (DE-588)4281335-9 s Logik (DE-588)4036202-4 s |
| 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 Attributwertebereich (DE-588)4281335-9 gnd Logik (DE-588)4036202-4 gnd Semantischer Bereich (DE-588)4210163-3 gnd Semantik (DE-588)4054490-4 gnd Programmiersprache (DE-588)4047409-4 gnd Funktionale Semantik (DE-588)4194483-5 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4281335-9 (DE-588)4036202-4 (DE-588)4210163-3 (DE-588)4054490-4 (DE-588)4047409-4 (DE-588)4194483-5 (DE-588)4037951-6 (DE-588)4113937-9 |
| title | Logic of domains |
| title_auth | Logic of domains |
| title_exact_search | 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 Attributwertebereich (DE-588)4281335-9 gnd Logik (DE-588)4036202-4 gnd Semantischer Bereich (DE-588)4210163-3 gnd Semantik (DE-588)4054490-4 gnd Programmiersprache (DE-588)4047409-4 gnd Funktionale Semantik (DE-588)4194483-5 gnd Mathematische Logik (DE-588)4037951-6 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 Attributwertebereich Logik Semantischer Bereich Semantik Programmiersprache Funktionale Semantik Mathematische Logik Hochschulschrift |
| work_keys_str_mv | AT zhangguoqiang logicofdomains |