Verfügbarkeit: Handbook of logic in computer science.

Handbook of logic in computer science.: Volume 5, Logic and algebraic methods /

This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any seri...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Oxford : New York : Clarendon Press ; Oxford University Press, 2000.
Schriftenreihe:	Oxford science publications.
Schlagworte:	Computer science. Logic, Symbolic and mathematical. Electronic Data Processing Informatique. Logique symbolique et mathématique. COMPUTERS > Reference. COMPUTERS > Machine Theory. COMPUTERS > Computer Literacy. COMPUTERS > Information Technology. COMPUTERS > Data Processing. COMPUTERS > Computer Science. COMPUTERS > Hardware > General. Computer science Logic, Symbolic and mathematical Ciencia da computacao ou informatica. Logica e semantica de programacao. Programming.
Online-Zugang:	Volltext
Zusammenfassung:	This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.
Beschreibung:	1 online resource
Bibliographie:	Includes bibliographical references and indexes.
ISBN:	9780191546273 0191546275 1280375272 9781280375279

Internformat

MARC


LEADER	00000cam a2200000 a 4500
001	ZDB-4-EBA-ocm53983677
003	OCoLC
005	20241004212047.0
006	m o d
007	cr cnu---unuuu
008	040106s2000 enk ob 001 0 eng d
040			\|a N$T \|b eng \|e pn \|c N$T \|d OCLCQ \|d YDXCP \|d OCLCG \|d OCLCQ \|d N$T \|d OCLCQ \|d OCLCF \|d NLGGC \|d OCLCO \|d OCLCQ \|d IDEBK \|d OCLCQ \|d STF \|d VTS \|d AGLDB \|d G3B \|d K6U \|d OCLCO \|d INARC \|d OCLCQ \|d SFB \|d OCLCQ \|d YDX \|d OCLCO \|d OCLCL \|d DXU
019			\|a 814379019 \|a 824546057 \|a 906270583 \|a 1082223175
020			\|a 9780191546273 \|q (electronic bk.)
020			\|a 0191546275 \|q (electronic bk.)
020			\|a 1280375272
020			\|a 9781280375279
020			\|z 0198537352
020			\|z 9780198537359
020			\|z 0198537611
020			\|z 9780198537618
020			\|z 019853762X
020			\|z 9780198537625
020			\|z 0198537808
020			\|z 9780198537809
020			\|z 0198537816
020			\|z 9780198537816
035			\|a (OCoLC)53983677 \|z (OCoLC)814379019 \|z (OCoLC)824546057 \|z (OCoLC)906270583 \|z (OCoLC)1082223175
050		4	\|a QA76 \|b .H2785 2000eb
072		7	\|a COM \|x 052000 \|2 bisacsh
072		7	\|a COM \|x 037000 \|2 bisacsh
072		7	\|a COM \|x 013000 \|2 bisacsh
072		7	\|a COM \|x 032000 \|2 bisacsh
072		7	\|a COM \|x 018000 \|2 bisacsh
072		7	\|a COM \|x 014000 \|2 bisacsh
072		7	\|a COM \|x 067000 \|2 bisacsh
072		7	\|a PBCD \|2 bicssc
082	7		\|a 004 \|2 22
049			\|a MAIN
245	0	0	\|a Handbook of logic in computer science. \|n Volume 5, \|p Logic and algebraic methods / \|c edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay.
246	3	0	\|a Logic and algebraic methods
260			\|a Oxford : \|b Clarendon Press ; \|a New York : \|b Oxford University Press, \|c 2000.
300			\|a 1 online resource
336			\|a text \|b txt \|2 rdacontent
337			\|a computer \|b c \|2 rdamedia
338			\|a online resource \|b cr \|2 rdacarrier
490	1		\|a Oxford science publications.
504			\|a Includes bibliographical references and indexes.
520			\|a This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.
505	1		\|a V. 1. Background, mathematical structure -- v. 2. Background, computational structure -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods.
650		0	\|a Computer science. \|0 http://id.loc.gov/authorities/subjects/sh89003285
650		0	\|a Logic, Symbolic and mathematical. \|0 http://id.loc.gov/authorities/subjects/sh85078115
650		2	\|a Electronic Data Processing \|0 https://id.nlm.nih.gov/mesh/D001330
650		6	\|a Informatique.
650		6	\|a Logique symbolique et mathématique.
650		7	\|a COMPUTERS \|x Reference. \|2 bisacsh
650		7	\|a COMPUTERS \|x Machine Theory. \|2 bisacsh
650		7	\|a COMPUTERS \|x Computer Literacy. \|2 bisacsh
650		7	\|a COMPUTERS \|x Information Technology. \|2 bisacsh
650		7	\|a COMPUTERS \|x Data Processing. \|2 bisacsh
650		7	\|a COMPUTERS \|x Computer Science. \|2 bisacsh
650		7	\|a COMPUTERS \|x Hardware \|x General. \|2 bisacsh
650		7	\|a Computer science \|2 fast
650		7	\|a Logic, Symbolic and mathematical \|2 fast
650		7	\|a Ciencia da computacao ou informatica. \|2 larpcal
650		7	\|a Logica e semantica de programacao. \|2 larpcal
653	0		\|a Programming.
700	1		\|a Abramsky, Samson, \|d 1953- \|1 https://id.oclc.org/worldcat/entity/E39PBJjhGybbxCxTwrQvprDKBP \|0 http://id.loc.gov/authorities/names/n87933074
700	1		\|a Gabbay, Dov M., \|d 1945- \|1 https://id.oclc.org/worldcat/entity/E39PBJfWWybKqqXHW94G7tqvpP \|0 http://id.loc.gov/authorities/names/n80153278
700	1		\|a Maibaum, Thomas S. E., \|d 1947- \|1 https://id.oclc.org/worldcat/entity/E39PBJyRD7txPbMrtvWRydV6Kd \|0 http://id.loc.gov/authorities/names/n85249596
758			\|i has work: \|a Logic and algebraic methods Volume 5 Handbook of logic in computer science (Text) \|1 https://id.oclc.org/worldcat/entity/E39PCGd4mhxfYYDQ3WwHkYVvxP \|4 https://id.oclc.org/worldcat/ontology/hasWork
776	0	8	\|i Print version: \|t Handbook of logic in computer science. Volume 5, Logic and algebraic methods. \|d Oxford : Clarendon Press ; New York : Oxford University Press, 2000 \|z 0198537352 \|z 9780198537359 \|w (DLC) 92000510 \|w (OCoLC)25831688
830		0	\|a Oxford science publications. \|0 http://id.loc.gov/authorities/names/n42027424
856	4	0	\|l FWS01 \|p ZDB-4-EBA \|q FWS_PDA_EBA \|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98424 \|3 Volltext
938			\|a YBP Library Services \|b YANK \|n 20427205
938			\|a EBSCOhost \|b EBSC \|n 98424
938			\|a Internet Archive \|b INAR \|n handbookoflogici0001unse_z8j4
938			\|a YBP Library Services \|b YANK \|n 2336166
994			\|a 92 \|b GEBAY
912			\|a ZDB-4-EBA
049			\|a DE-863

Datensatz im Suchindex

DE-BY-FWS_katkey	ZDB-4-EBA-ocm53983677
_version_	1816881613513949184
adam_text
any_adam_object
author2	Abramsky, Samson, 1953- Gabbay, Dov M., 1945- Maibaum, Thomas S. E., 1947-
author2_role
author2_variant	s a sa d m g dm dmg t s e m tse tsem
author_GND	http://id.loc.gov/authorities/names/n87933074 http://id.loc.gov/authorities/names/n80153278 http://id.loc.gov/authorities/names/n85249596
author_facet	Abramsky, Samson, 1953- Gabbay, Dov M., 1945- Maibaum, Thomas S. E., 1947-
author_sort	Abramsky, Samson, 1953-
building	Verbundindex
bvnumber	localFWS
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76 .H2785 2000eb
callnumber-search	QA76 .H2785 2000eb
callnumber-sort	QA 276 H2785 42000EB
callnumber-subject	QA - Mathematics
collection	ZDB-4-EBA
contents	V. 1. Background, mathematical structure -- v. 2. Background, computational structure -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods.
ctrlnum	(OCoLC)53983677
dewey-full	004
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004
dewey-search	004
dewey-sort	14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04831cam a2200913 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm53983677 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">040106s2000 enk ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">STF</subfield><subfield code="d">VTS</subfield><subfield code="d">AGLDB</subfield><subfield code="d">G3B</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCO</subfield><subfield code="d">INARC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDX</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">DXU</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">814379019</subfield><subfield code="a">824546057</subfield><subfield code="a">906270583</subfield><subfield code="a">1082223175</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780191546273</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0191546275</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1280375272</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280375279</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0198537352</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780198537359</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0198537611</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780198537618</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">019853762X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780198537625</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0198537808</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780198537809</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0198537816</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780198537816</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)53983677</subfield><subfield code="z">(OCoLC)814379019</subfield><subfield code="z">(OCoLC)824546057</subfield><subfield code="z">(OCoLC)906270583</subfield><subfield code="z">(OCoLC)1082223175</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76</subfield><subfield code="b">.H2785 2000eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">052000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">037000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">013000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">032000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">067000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PBCD</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">004</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Handbook of logic in computer science.</subfield><subfield code="n">Volume 5,</subfield><subfield code="p">Logic and algebraic methods /</subfield><subfield code="c">edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay.</subfield></datafield><datafield tag="246" ind1="3" ind2="0"><subfield code="a">Logic and algebraic methods</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Oxford :</subfield><subfield code="b">Clarendon Press ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Oxford University Press,</subfield><subfield code="c">2000.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Oxford science publications.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.</subfield></datafield><datafield tag="505" ind1="1" ind2=" "><subfield code="a">V. 1. Background, mathematical structure -- v. 2. Background, computational structure -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer science.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh89003285</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078115</subfield></datafield><datafield tag="650" ind1=" " ind2="2"><subfield code="a">Electronic Data Processing</subfield><subfield code="0">https://id.nlm.nih.gov/mesh/D001330</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Informatique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Reference.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Machine Theory.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Literacy.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Information Technology.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Data Processing.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Science.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Hardware</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer science</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ciencia da computacao ou informatica.</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica e semantica de programacao.</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="653" ind1="0" ind2=" "><subfield code="a">Programming.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Abramsky, Samson,</subfield><subfield code="d">1953-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJjhGybbxCxTwrQvprDKBP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n87933074</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.,</subfield><subfield code="d">1945-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJfWWybKqqXHW94G7tqvpP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n80153278</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Maibaum, Thomas S. E.,</subfield><subfield code="d">1947-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJyRD7txPbMrtvWRydV6Kd</subfield><subfield code="0">http://id.loc.gov/authorities/names/n85249596</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Logic and algebraic methods Volume 5 Handbook of logic in computer science (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGd4mhxfYYDQ3WwHkYVvxP</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Handbook of logic in computer science. Volume 5, Logic and algebraic methods.</subfield><subfield code="d">Oxford : Clarendon Press ; New York : Oxford University Press, 2000</subfield><subfield code="z">0198537352</subfield><subfield code="z">9780198537359</subfield><subfield code="w">(DLC) 92000510</subfield><subfield code="w">(OCoLC)25831688</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford science publications.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42027424</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98424</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">20427205</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">98424</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Internet Archive</subfield><subfield code="b">INAR</subfield><subfield code="n">handbookoflogici0001unse_z8j4</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2336166</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection>
id	ZDB-4-EBA-ocm53983677
illustrated	Not Illustrated
indexdate	2024-11-27T13:15:30Z
institution	BVB
isbn	9780191546273 0191546275 1280375272 9781280375279
language	English
oclc_num	53983677
open_access_boolean
owner	MAIN DE-863 DE-BY-FWS
owner_facet	MAIN DE-863 DE-BY-FWS
physical	1 online resource
psigel	ZDB-4-EBA
publishDate	2000
publishDateSearch	2000
publishDateSort	2000
publisher	Clarendon Press ; Oxford University Press,
record_format	marc
series	Oxford science publications.
series2	Oxford science publications.
spelling	Handbook of logic in computer science. Volume 5, Logic and algebraic methods / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. Logic and algebraic methods Oxford : Clarendon Press ; New York : Oxford University Press, 2000. 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier Oxford science publications. Includes bibliographical references and indexes. This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas. V. 1. Background, mathematical structure -- v. 2. Background, computational structure -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods. Computer science. http://id.loc.gov/authorities/subjects/sh89003285 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Electronic Data Processing https://id.nlm.nih.gov/mesh/D001330 Informatique. Logique symbolique et mathématique. COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Computer science fast Logic, Symbolic and mathematical fast Ciencia da computacao ou informatica. larpcal Logica e semantica de programacao. larpcal Programming. Abramsky, Samson, 1953- https://id.oclc.org/worldcat/entity/E39PBJjhGybbxCxTwrQvprDKBP http://id.loc.gov/authorities/names/n87933074 Gabbay, Dov M., 1945- https://id.oclc.org/worldcat/entity/E39PBJfWWybKqqXHW94G7tqvpP http://id.loc.gov/authorities/names/n80153278 Maibaum, Thomas S. E., 1947- https://id.oclc.org/worldcat/entity/E39PBJyRD7txPbMrtvWRydV6Kd http://id.loc.gov/authorities/names/n85249596 has work: Logic and algebraic methods Volume 5 Handbook of logic in computer science (Text) https://id.oclc.org/worldcat/entity/E39PCGd4mhxfYYDQ3WwHkYVvxP https://id.oclc.org/worldcat/ontology/hasWork Print version: Handbook of logic in computer science. Volume 5, Logic and algebraic methods. Oxford : Clarendon Press ; New York : Oxford University Press, 2000 0198537352 9780198537359 (DLC) 92000510 (OCoLC)25831688 Oxford science publications. http://id.loc.gov/authorities/names/n42027424 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98424 Volltext
spellingShingle	Handbook of logic in computer science. Oxford science publications. V. 1. Background, mathematical structure -- v. 2. Background, computational structure -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods. Computer science. http://id.loc.gov/authorities/subjects/sh89003285 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Electronic Data Processing https://id.nlm.nih.gov/mesh/D001330 Informatique. Logique symbolique et mathématique. COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Computer science fast Logic, Symbolic and mathematical fast Ciencia da computacao ou informatica. larpcal Logica e semantica de programacao. larpcal
subject_GND	http://id.loc.gov/authorities/subjects/sh89003285 http://id.loc.gov/authorities/subjects/sh85078115 https://id.nlm.nih.gov/mesh/D001330
title	Handbook of logic in computer science.
title_alt	Logic and algebraic methods
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. Volume 5, Logic and algebraic methods / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay.
title_fullStr	Handbook of logic in computer science. Volume 5, Logic and algebraic methods / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay.
title_full_unstemmed	Handbook of logic in computer science. Volume 5, Logic and algebraic methods / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay.
title_short	Handbook of logic in computer science.
title_sort	handbook of logic in computer science logic and algebraic methods
topic	Computer science. http://id.loc.gov/authorities/subjects/sh89003285 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Electronic Data Processing https://id.nlm.nih.gov/mesh/D001330 Informatique. Logique symbolique et mathématique. COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Computer science fast Logic, Symbolic and mathematical fast Ciencia da computacao ou informatica. larpcal Logica e semantica de programacao. larpcal
topic_facet	Computer science. Logic, Symbolic and mathematical. Electronic Data Processing Informatique. Logique symbolique et mathématique. COMPUTERS Reference. COMPUTERS Machine Theory. COMPUTERS Computer Literacy. COMPUTERS Information Technology. COMPUTERS Data Processing. COMPUTERS Computer Science. COMPUTERS Hardware General. Computer science Logic, Symbolic and mathematical Ciencia da computacao ou informatica. Logica e semantica de programacao.
url	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98424
work_keys_str_mv	AT abramskysamson handbookoflogicincomputersciencevolume5 AT gabbaydovm handbookoflogicincomputersciencevolume5 AT maibaumthomasse handbookoflogicincomputersciencevolume5 AT abramskysamson logicandalgebraicmethods AT gabbaydovm logicandalgebraicmethods AT maibaumthomasse logicandalgebraicmethods

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge