Holdings: Logic of domains :: THWS Bibkatalog

Logic of domains:

Saved in:

Bibliographic Details
Main Author:	Zhang, Guo-Qiang (Author)
Format:	Book
Language:	English
Published:	Boston u.a. Birkhäuser 1991
Series:	Progress in theoretical computer science
Subjects:	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
Item Description:	Literaturverz. S. 251 - 256. - Zugl. revision of: Cambridge, Univ., Diss., 1989
Physical Description:	259 S. graph. Darst.
ISBN:	081763570X 376433570X

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!

MARC

Record in the Search Index

There is no print copy available.

Similar Items