Journal of automated reasoning:
Saved in:
| Format: | Electronic Journal |
|---|---|
| Language: | English |
| Published: |
Dordrecht [u.a.]
Springer Science + Business Media B.V.
1985-
Dordrecht [u.a.] Kluwer |
| Subjects: | |
| Online Access: | Volltext Volltext Deutschlandweit zugänglich |
| Published: | 1.1985 - |
| Item Description: | Gesehen am 01.11.05 |
| Physical Description: | Online-Ressource |
| ISSN: | 1573-0670 0168-7433 |
Staff View
MARC
| LEADER | 00000nas a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012624643 | ||
| 003 | DE-604 | ||
| 005 | 20241112211322 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 991122c19859999ne || p|o|||| 0 ||eng d | ||
| 015 | |a 17,O11 |2 dnb | ||
| 016 | 7 | |a 019723504 |2 DE-101 | |
| 016 | 7 | |a 1479376-3 |2 DE-600 | |
| 022 | |a 1573-0670 |2 6 | ||
| 035 | |a (OCoLC)1183389689 | ||
| 035 | |a (DE-599)ZDB1479376-3 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 044 | |a ne |c XA-NL | ||
| 049 | |a DE-859 |a DE-12 |a DE-384 |a DE-473 |a DE-29 |a DE-703 |a DE-19 |a DE-91 |a DE-20 |a DE-355 |a DE-739 |a DE-824 |a DE-M347 |a DE-706 |a DE-92 |a DE-898 |a DE-863 |a DE-1102 |a DE-1046 |a DE-Aug4 |a DE-858 |a DE-1028 |a DE-1050 |a DE-1051 |a DE-573 |a DE-1049 |a DE-150 |a DE-210 |a DE-M491 |a DE-M382 |a DE-634 |a DE-83 |a DE-11 |a DE-155 |a DE-70 |a DE-522 |a DE-526 |a DE-521 |a DE-523 |a DE-578 |a DE-B16 |a DE-188 |a DE-860 |a DE-1043 |a DE-255 |a DE-861 |a DE-525 |a DE-862 |a DE-1052 |a DE-37 |a DE-Y7 |a DE-M352 |a DE-B768 |a DE-Y2 |a DE-Y3 |a DE-M124 |a DE-B1533 |a DE-Re13 | ||
| 084 | |a 004 |2 22sdnb | ||
| 245 | 1 | 0 | |a Journal of automated reasoning |
| 264 | 3 | 1 | |a Dordrecht [u.a.] |b Springer Science + Business Media B.V. |c 1985- |
| 264 | 2 | 1 | |3 -2004 |a Dordrecht [u.a.] |b Kluwer |
| 300 | |a Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 362 | 0 | |a 1.1985 - | |
| 363 | 0 | 1 | |a 1 |i 1985 |
| 500 | |a Gesehen am 01.11.05 | ||
| 583 | 1 | |a Archivierung/Langzeitarchivierung gewährleistet |5 DE-101 |2 pdager | |
| 655 | 7 | |0 (DE-588)4067488-5 |a Zeitschrift |2 gnd-content | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |t Journal of automated reasoning |d Dordrecht [u.a.] : Springer, 1985- |x 0168-7433 |w (DE-604)BV002705697 |
| 856 | 4 | 0 | |u https://ezb.ur.de/?1479376-3 |x EZB |3 Volltext |
| 856 | 4 | 0 | |u https://link.springer.com/journal/10817 |x Verlag |3 Volltext |
| 856 | 4 | 0 | |u https://link.springer.com/journal/10817 |x Verlag; 1.1985 - 29.2002 |z Deutschlandweit zugänglich |3 Volltext |
| 912 | |a ZDB-1-SOJ | ||
| 912 | |a ZDB-2-COE | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008575821 | |
Record in the Search Index
| DE-BY-FWS_katkey | 333158 |
|---|---|
| _version_ | 1824556279781130241 |
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV012624643 |
| collection | ZDB-1-SOJ ZDB-2-COE |
| ctrlnum | 1479376-3 (OCoLC)1183389689 (DE-599)ZDB1479376-3 |
| dateSpan | 1.1985 - |
| 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">BV012624643</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20241112211322</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">991122c19859999ne || p|o|||| 0 ||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">17,O11</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">019723504</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1479376-3</subfield><subfield code="2">DE-600</subfield></datafield><datafield tag="022" ind1=" " ind2=" "><subfield code="a">1573-0670</subfield><subfield code="2">6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1183389689</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)ZDB1479376-3</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">ne</subfield><subfield code="c">XA-NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-859</subfield><subfield code="a">DE-12</subfield><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-19</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-824</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-150</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-M491</subfield><subfield code="a">DE-M382</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-155</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-578</subfield><subfield code="a">DE-B16</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-255</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-525</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-1052</subfield><subfield code="a">DE-37</subfield><subfield code="a">DE-Y7</subfield><subfield code="a">DE-M352</subfield><subfield code="a">DE-B768</subfield><subfield code="a">DE-Y2</subfield><subfield code="a">DE-Y3</subfield><subfield code="a">DE-M124</subfield><subfield code="a">DE-B1533</subfield><subfield code="a">DE-Re13</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">22sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Journal of automated reasoning</subfield></datafield><datafield tag="264" ind1="3" ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Springer Science + Business Media B.V.</subfield><subfield code="c">1985-</subfield></datafield><datafield tag="264" ind1="2" ind2="1"><subfield code="3">-2004</subfield><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer</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.1985 -</subfield></datafield><datafield tag="363" ind1="0" ind2="1"><subfield code="a">1</subfield><subfield code="i">1985</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Gesehen am 01.11.05</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">Archivierung/Langzeitarchivierung gewährleistet</subfield><subfield code="5">DE-101</subfield><subfield code="2">pdager</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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="t">Journal of automated reasoning</subfield><subfield code="d">Dordrecht [u.a.] : Springer, 1985-</subfield><subfield code="x">0168-7433</subfield><subfield code="w">(DE-604)BV002705697</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ezb.ur.de/?1479376-3</subfield><subfield code="x">EZB</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://link.springer.com/journal/10817</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://link.springer.com/journal/10817</subfield><subfield code="x">Verlag; 1.1985 - 29.2002</subfield><subfield code="z">Deutschlandweit zugänglich</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-SOJ</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-COE</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008575821</subfield></datafield></record></collection> |
| genre | (DE-588)4067488-5 Zeitschrift gnd-content |
| genre_facet | Zeitschrift |
| id | DE-604.BV012624643 |
| illustrated | Illustrated |
| indexdate | 2025-02-20T07:21:02Z |
| institution | BVB |
| issn | 1573-0670 0168-7433 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008575821 |
| oclc_num | 1183389689 |
| open_access_boolean | |
| owner | DE-859 DE-12 DE-384 DE-473 DE-BY-UBG DE-29 DE-703 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-20 DE-355 DE-BY-UBR DE-739 DE-824 DE-M347 DE-706 DE-92 DE-898 DE-BY-UBR DE-863 DE-BY-FWS DE-1102 DE-1046 DE-Aug4 DE-858 DE-1028 DE-1050 DE-1051 DE-573 DE-1049 DE-150 DE-210 DE-M491 DE-M382 DE-634 DE-83 DE-11 DE-155 DE-BY-UBR DE-70 DE-522 DE-526 DE-521 DE-523 DE-578 DE-B16 DE-188 DE-860 DE-1043 DE-255 DE-861 DE-525 DE-862 DE-BY-FWS DE-1052 DE-37 DE-Y7 DE-M352 DE-B768 DE-Y2 DE-Y3 DE-M124 DE-B1533 DE-Re13 DE-BY-UBR |
| owner_facet | DE-859 DE-12 DE-384 DE-473 DE-BY-UBG DE-29 DE-703 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-20 DE-355 DE-BY-UBR DE-739 DE-824 DE-M347 DE-706 DE-92 DE-898 DE-BY-UBR DE-863 DE-BY-FWS DE-1102 DE-1046 DE-Aug4 DE-858 DE-1028 DE-1050 DE-1051 DE-573 DE-1049 DE-150 DE-210 DE-M491 DE-M382 DE-634 DE-83 DE-11 DE-155 DE-BY-UBR DE-70 DE-522 DE-526 DE-521 DE-523 DE-578 DE-B16 DE-188 DE-860 DE-1043 DE-255 DE-861 DE-525 DE-862 DE-BY-FWS DE-1052 DE-37 DE-Y7 DE-M352 DE-B768 DE-Y2 DE-Y3 DE-M124 DE-B1533 DE-Re13 DE-BY-UBR |
| physical | Online-Ressource |
| psigel | ZDB-1-SOJ ZDB-2-COE |
| publishDate | 1985 |
| publishDateSearch | 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 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 8888 |
| publishDateSort | 2024 |
| publisher | Springer Science + Business Media B.V. Kluwer |
| record_format | marc |
| spellingShingle | Journal of automated reasoning |
| subject_GND | (DE-588)4067488-5 |
| title | Journal of automated reasoning |
| title_auth | Journal of automated reasoning |
| title_exact_search | Journal of automated reasoning |
| title_full | Journal of automated reasoning |
| title_fullStr | Journal of automated reasoning |
| title_full_unstemmed | Journal of automated reasoning |
| title_short | Journal of automated reasoning |
| title_sort | journal of automated reasoning |
| topic_facet | Zeitschrift |
| url | https://ezb.ur.de/?1479376-3 https://link.springer.com/journal/10817 |
| zdb_num | 1479376-3 (DE-599)ZDB1479376-3 |