Verfügbarkeit: Proceedings :: THWS Bibkatalog

Proceedings: June 19 - 23, 1993, Montreal, Canada

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Symposium on Logic in Computer Science Montréal (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	Undetermined
Veröffentlicht:	LosAlamitos, Calif. <<[u.a.]>> IEEE Computer Soc. Press 1993
Schlagworte:	Mathematische Logik Datennetz Logik Informatik Telekommunikationsnetz Konferenzschrift > 1983 > San Diego Calif.
Beschreibung:	XII, 434 S. graph. Darst.
ISBN:	0818631422 0818631406

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV024387001
003	DE-604
005	20090910
007	t\|
008	940105s1993 xx d\|\|\| \|\|\|\| 10\|\|\| und d
020			\|a 0818631422 \|9 0-8186-3142-2
020			\|a 0818631406 \|9 0-8186-3140-6
035			\|a (OCoLC)257868819
035			\|a (DE-599)BVBBV024387001
040			\|a DE-604 \|b ger \|e rakwb
041			\|a und
049			\|a DE-83 \|a DE-188
111	2		\|a Symposium on Logic in Computer Science \|n 8 \|d 1993 \|c Montréal \|j Verfasser \|0 (DE-588)5093552-5 \|4 aut
245	1	0	\|a Proceedings \|b June 19 - 23, 1993, Montreal, Canada \|c Eighth Annual IEEE Symposium on Logic in Computer Science
246	1	3	\|a Logic in computer science
264		1	\|a LosAlamitos, Calif. <<[u.a.]>> \|b IEEE Computer Soc. Press \|c 1993
300			\|a XII, 434 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Datennetz \|0 (DE-588)4011130-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Telekommunikationsnetz \|0 (DE-588)4133586-7 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1983 \|z San Diego Calif. \|2 gnd-content
689	0	0	\|a Datennetz \|0 (DE-588)4011130-1 \|D s
689	0		\|5 DE-604
689	1	0	\|a Telekommunikationsnetz \|0 (DE-588)4133586-7 \|D s
689	1		\|5 DE-604
689	2	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	2	1	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	2		\|8 1\p \|5 DE-604
689	3	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	3	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	3		\|8 2\p \|5 DE-604
710	2		\|a Institute of Electrical and Electronics Engineers \|e Sonstige \|0 (DE-588)1692-5 \|4 oth
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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-018366459

Datensatz im Suchindex

_version_	1820868081797300224
adam_text
any_adam_object
author_corporate	Symposium on Logic in Computer Science Montréal
author_corporate_role	aut
author_facet	Symposium on Logic in Computer Science Montréal
author_sort	Symposium on Logic in Computer Science Montréal
building	Verbundindex
bvnumber	BV024387001
classification_rvk	SS 1993
ctrlnum	(OCoLC)257868819 (DE-599)BVBBV024387001
discipline	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV024387001</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090910</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">940105s1993 xx d\|\|\| \|\|\|\| 10\|\|\| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818631422</subfield><subfield code="9">0-8186-3142-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818631406</subfield><subfield code="9">0-8186-3140-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)257868819</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024387001</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Logic in Computer Science</subfield><subfield code="n">8</subfield><subfield code="d">1993</subfield><subfield code="c">Montréal</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5093552-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="b">June 19 - 23, 1993, Montreal, Canada</subfield><subfield code="c">Eighth Annual IEEE Symposium on Logic in Computer Science</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Logic in computer science</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">LosAlamitos, Calif. <<[u.a.]>></subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 434 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="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">Datennetz</subfield><subfield code="0">(DE-588)4011130-1</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">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Telekommunikationsnetz</subfield><subfield code="0">(DE-588)4133586-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1983</subfield><subfield code="z">San Diego Calif.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datennetz</subfield><subfield code="0">(DE-588)4011130-1</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">Telekommunikationsnetz</subfield><subfield code="0">(DE-588)4133586-7</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-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">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Institute of Electrical and Electronics Engineers</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1692-5</subfield><subfield code="4">oth</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018366459</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1983 San Diego Calif. gnd-content
genre_facet	Konferenzschrift 1983 San Diego Calif.
id	DE-604.BV024387001
illustrated	Illustrated
indexdate	2025-01-10T13:18:43Z
institution	BVB
institution_GND	(DE-588)5093552-5 (DE-588)1692-5
isbn	0818631422 0818631406
language	Undetermined
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-018366459
oclc_num	257868819
open_access_boolean
owner	DE-83 DE-188
owner_facet	DE-83 DE-188
physical	XII, 434 S. graph. Darst.
publishDate	1993
publishDateSearch	1993
publishDateSort	1993
publisher	IEEE Computer Soc. Press
record_format	marc
spelling	Symposium on Logic in Computer Science 8 1993 Montréal Verfasser (DE-588)5093552-5 aut Proceedings June 19 - 23, 1993, Montreal, Canada Eighth Annual IEEE Symposium on Logic in Computer Science Logic in computer science LosAlamitos, Calif. <<[u.a.]>> IEEE Computer Soc. Press 1993 XII, 434 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Datennetz (DE-588)4011130-1 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Telekommunikationsnetz (DE-588)4133586-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1983 San Diego Calif. gnd-content Datennetz (DE-588)4011130-1 s DE-604 Telekommunikationsnetz (DE-588)4133586-7 s Mathematische Logik (DE-588)4037951-6 s Informatik (DE-588)4026894-9 s 1\p DE-604 Logik (DE-588)4036202-4 s 2\p DE-604 Institute of Electrical and Electronics Engineers Sonstige (DE-588)1692-5 oth 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
spellingShingle	Proceedings June 19 - 23, 1993, Montreal, Canada Mathematische Logik (DE-588)4037951-6 gnd Datennetz (DE-588)4011130-1 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd Telekommunikationsnetz (DE-588)4133586-7 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4011130-1 (DE-588)4036202-4 (DE-588)4026894-9 (DE-588)4133586-7 (DE-588)1071861417
title	Proceedings June 19 - 23, 1993, Montreal, Canada
title_alt	Logic in computer science
title_auth	Proceedings June 19 - 23, 1993, Montreal, Canada
title_exact_search	Proceedings June 19 - 23, 1993, Montreal, Canada
title_full	Proceedings June 19 - 23, 1993, Montreal, Canada Eighth Annual IEEE Symposium on Logic in Computer Science
title_fullStr	Proceedings June 19 - 23, 1993, Montreal, Canada Eighth Annual IEEE Symposium on Logic in Computer Science
title_full_unstemmed	Proceedings June 19 - 23, 1993, Montreal, Canada Eighth Annual IEEE Symposium on Logic in Computer Science
title_short	Proceedings
title_sort	proceedings june 19 23 1993 montreal canada
title_sub	June 19 - 23, 1993, Montreal, Canada
topic	Mathematische Logik (DE-588)4037951-6 gnd Datennetz (DE-588)4011130-1 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd Telekommunikationsnetz (DE-588)4133586-7 gnd
topic_facet	Mathematische Logik Datennetz Logik Informatik Telekommunikationsnetz Konferenzschrift 1983 San Diego Calif.
work_keys_str_mv	AT symposiumonlogicincomputersciencemontreal proceedingsjune19231993montrealcanada AT instituteofelectricalandelectronicsengineers proceedingsjune19231993montrealcanada AT symposiumonlogicincomputersciencemontreal logicincomputerscience AT instituteofelectricalandelectronicsengineers logicincomputerscience

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge