Holdings: ACM transactions on computational logic

ACM transactions on computational logic: TOCL

Saved in:

Bibliographic Details
Corporate Author:	Association for Computing Machinery (Author)
Format:	Electronic Journal
Language:	English
Published:	New York, NY Association for Computing Machinery 2000-
Subjects:	Mathematische Logik Zeitschrift Online-Ressource
Online Access:	Volltext Volltext
Published:	1.2000 -
Item Description:	Gesehen am 15.06.20
Physical Description:	Online-Ressource
ISSN:	1529-3785

Staff View

MARC


LEADER	00000nas a2200000 c 4500
001	BV013357835
003	DE-604
005	20240419165137
007	cr\|uuu---uuuuu
008	000926c20009999xxu\|\| p\|o\|\|\|\| 0 \|\|eng d
016	7		\|a 020839502 \|2 DE-101
016	7		\|a 2025647-4 \|2 DE-600
022			\|a 1529-3785 \|2 6
035			\|a (OCoLC)863031787
035			\|a (DE-599)ZDB2025647-4
040			\|a DE-604 \|b ger
041	0		\|a eng
044			\|a xxu \|c XD-US
049			\|a DE-384 \|a DE-473 \|a DE-29 \|a DE-703 \|a DE-91 \|a DE-20 \|a DE-355 \|a DE-739 \|a DE-M347 \|a DE-706 \|a DE-92 \|a DE-859 \|a DE-634 \|a DE-83 \|a DE-11 \|a DE-188 \|a DE-Aug4 \|a DE-573 \|a DE-863 \|a DE-858 \|a DE-898 \|a DE-862 \|a DE-19 \|a DE-1049 \|a DE-523 \|a DE-Y2 \|a DE-M382 \|a DE-Y3 \|a DE-1050 \|a DE-12 \|a DE-210 \|a DE-1102 \|a DE-1046 \|a DE-1051 \|a DE-860 \|a DE-861 \|a DE-1028 \|a DE-155 \|a DE-150 \|a DE-37 \|a DE-824 \|a DE-526 \|a DE-Re13
084			\|a DAT 540z \|2 stub
084			\|a 004 \|2 22sdnb
110	2		\|a Association for Computing Machinery \|e Verfasser \|0 (DE-588)1222-1 \|4 aut
245	1	0	\|a ACM transactions on computational logic \|b TOCL
246	1	3	\|a Transactions on computational logic
246	1	3	\|a TOCL
264	3	1	\|a New York, NY \|b Association for Computing Machinery \|c 2000-
300			\|a Online-Ressource
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
362	0		\|a 1.2000 -
363	0	1	\|a 1 \|i 2000
500			\|a Gesehen am 15.06.20
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Zeitschrift \|0 (DE-588)4067488-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Online-Ressource \|0 (DE-588)4511937-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4067488-5 \|a Zeitschrift \|2 gnd-content
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0	1	\|a Zeitschrift \|0 (DE-588)4067488-5 \|D s
689	0	2	\|a Online-Ressource \|0 (DE-588)4511937-5 \|D s
689	0		\|5 DE-604
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|a Association for Computing Machinery \|t ACM transactions on computational logic \|d New York, NY : ACM, 2000- \|x 1529-3785 \|w (DE-604)BV013823127
856	4	0	\|u https://dl.acm.org/loi/tocl \|x Verlag \|3 Volltext
856	4	0	\|u https://ezb.ur.de/?2025647-4 \|x EZB \|3 Volltext
912			\|a ZDB-15-ACM
943	1		\|a oai:aleph.bib-bvb.de:BVB01-009111499

Record in the Search Index

DE-BY-FWS_katkey	432937
_version_	1832331236662575104
adam_text
any_adam_object
author_corporate	Association for Computing Machinery
author_corporate_role	aut
author_facet	Association for Computing Machinery
author_sort	Association for Computing Machinery
building	Verbundindex
bvnumber	BV013357835
classification_tum	DAT 540z
collection	ZDB-15-ACM
ctrlnum	2025647-4 (OCoLC)863031787 (DE-599)ZDB2025647-4
dateSpan	1.2000 -
discipline	Informatik
format	Electronic Journal
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nas a2200000 c 4500</leader><controlfield tag="001">BV013357835</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240419165137</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">000926c20009999xxu\|\| p\|o\|\|\|\| 0 \|\|eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">020839502</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">2025647-4</subfield><subfield code="2">DE-600</subfield></datafield><datafield tag="022" ind1=" " ind2=" "><subfield code="a">1529-3785</subfield><subfield code="2">6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863031787</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)ZDB2025647-4</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="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">XD-US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-Y2</subfield><subfield code="a">DE-M382</subfield><subfield code="a">DE-Y3</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-155</subfield><subfield code="a">DE-150</subfield><subfield code="a">DE-37</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-Re13</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540z</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">22sdnb</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Association for Computing Machinery</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1222-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">ACM transactions on computational logic</subfield><subfield code="b">TOCL</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Transactions on computational logic</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">TOCL</subfield></datafield><datafield tag="264" ind1="3" ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Association for Computing Machinery</subfield><subfield code="c">2000-</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="362" ind1="0" ind2=" "><subfield code="a">1.2000 -</subfield></datafield><datafield tag="363" ind1="0" ind2="1"><subfield code="a">1</subfield><subfield code="i">2000</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Gesehen am 15.06.20</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">Zeitschrift</subfield><subfield code="0">(DE-588)4067488-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Online-Ressource</subfield><subfield code="0">(DE-588)4511937-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4067488-5</subfield><subfield code="a">Zeitschrift</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="1"><subfield code="a">Zeitschrift</subfield><subfield code="0">(DE-588)4067488-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Online-Ressource</subfield><subfield code="0">(DE-588)4511937-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">Association for Computing Machinery</subfield><subfield code="t">ACM transactions on computational logic</subfield><subfield code="d">New York, NY : ACM, 2000-</subfield><subfield code="x">1529-3785</subfield><subfield code="w">(DE-604)BV013823127</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://dl.acm.org/loi/tocl</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ezb.ur.de/?2025647-4</subfield><subfield code="x">EZB</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-15-ACM</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009111499</subfield></datafield></record></collection>
genre	(DE-588)4067488-5 Zeitschrift gnd-content
genre_facet	Zeitschrift
id	DE-604.BV013357835
illustrated	Illustrated
indexdate	2025-05-17T04:00:39Z
institution	BVB
institution_GND	(DE-588)1222-1
issn	1529-3785
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-009111499
oclc_num	863031787
open_access_boolean
owner	DE-384 DE-473 DE-BY-UBG DE-29 DE-703 DE-91 DE-BY-TUM DE-20 DE-355 DE-BY-UBR DE-739 DE-M347 DE-706 DE-92 DE-859 DE-634 DE-83 DE-11 DE-188 DE-Aug4 DE-573 DE-863 DE-BY-FWS DE-858 DE-898 DE-BY-UBR DE-862 DE-BY-FWS DE-19 DE-BY-UBM DE-1049 DE-523 DE-Y2 DE-M382 DE-Y3 DE-1050 DE-12 DE-210 DE-1102 DE-1046 DE-1051 DE-860 DE-861 DE-1028 DE-155 DE-BY-UBR DE-150 DE-37 DE-824 DE-526 DE-Re13 DE-BY-UBR
owner_facet	DE-384 DE-473 DE-BY-UBG DE-29 DE-703 DE-91 DE-BY-TUM DE-20 DE-355 DE-BY-UBR DE-739 DE-M347 DE-706 DE-92 DE-859 DE-634 DE-83 DE-11 DE-188 DE-Aug4 DE-573 DE-863 DE-BY-FWS DE-858 DE-898 DE-BY-UBR DE-862 DE-BY-FWS DE-19 DE-BY-UBM DE-1049 DE-523 DE-Y2 DE-M382 DE-Y3 DE-1050 DE-12 DE-210 DE-1102 DE-1046 DE-1051 DE-860 DE-861 DE-1028 DE-155 DE-BY-UBR DE-150 DE-37 DE-824 DE-526 DE-Re13 DE-BY-UBR
physical	Online-Ressource
psigel	ZDB-15-ACM
publishDate	2000
publishDateSearch	2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 8888
publishDateSort	2025
publisher	Association for Computing Machinery
record_format	marc
spellingShingle	ACM transactions on computational logic TOCL Mathematische Logik (DE-588)4037951-6 gnd Zeitschrift (DE-588)4067488-5 gnd Online-Ressource (DE-588)4511937-5 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4067488-5 (DE-588)4511937-5
title	ACM transactions on computational logic TOCL
title_alt	Transactions on computational logic TOCL
title_auth	ACM transactions on computational logic TOCL
title_exact_search	ACM transactions on computational logic TOCL
title_full	ACM transactions on computational logic TOCL
title_fullStr	ACM transactions on computational logic TOCL
title_full_unstemmed	ACM transactions on computational logic TOCL
title_short	ACM transactions on computational logic
title_sort	acm transactions on computational logic tocl
title_sub	TOCL
topic	Mathematische Logik (DE-588)4037951-6 gnd Zeitschrift (DE-588)4067488-5 gnd Online-Ressource (DE-588)4511937-5 gnd
topic_facet	Mathematische Logik Zeitschrift Online-Ressource
url	https://dl.acm.org/loi/tocl https://ezb.ur.de/?2025647-4
work_keys_str_mv	AT associationforcomputingmachinery acmtransactionsoncomputationallogictocl AT associationforcomputingmachinery transactionsoncomputationallogic AT associationforcomputingmachinery tocl
zdb_num	2025647-4 (DE-599)ZDB2025647-4

Holdings

Get full text

MARC

Record in the Search Index

Similar Items