Journal of automated reasoning:
Gespeichert in:
| Format: | Zeitschrift |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Dordrecht [u.a.]
Springer
1985-
Dordrecht [u.a.] Kluwer Acad. Publ. -2004,1 Dordrecht [u.a.] Reidel früher |
| Schlagworte: | |
| Veröffentlicht: | 1.1985 - |
| ISSN: | 0168-7433 1573-0670 |
Internformat
MARC
| LEADER | 00000nas a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002705697 | ||
| 003 | DE-604 | ||
| 005 | 20220903043520 | ||
| 007 | t | ||
| 008 | 991118c19859999ne || p| |||| 0 ||eng d | ||
| 016 | 7 | |a 010451579 |2 DE-101 | |
| 016 | 7 | |a 51516-4 |2 DE-600 | |
| 022 | |a 0168-7433 |2 6 | ||
| 035 | |a (OCoLC)310948421 | ||
| 035 | |a (DE-599)ZDB51516-4 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 044 | |a ne |c XA-NL | ||
| 049 | |a DE-12 |a DE-739 |a DE-20 |a DE-824 |a DE-384 |a DE-19 |a DE-91G |a DE-706 |a DE-83 |a DE-188 | ||
| 084 | |a LING |q DE-30 |2 fid | ||
| 084 | |a EQ 1000 |0 (DE-625)27712: |2 rvk | ||
| 084 | |a 7,11 |2 ssgn | ||
| 084 | |a 400 |2 22sdnb | ||
| 084 | |a 17,1 |2 ssgn | ||
| 084 | |a 004 |2 22sdnb | ||
| 245 | 1 | 0 | |a Journal of automated reasoning |
| 264 | 3 | 1 | |a Dordrecht [u.a.] |b Springer |c 1985- |
| 264 | 2 | 1 | |a Dordrecht [u.a.] |b Kluwer Acad. Publ. |c -2004,1 |
| 264 | 2 | 1 | |a Dordrecht [u.a.] |b Reidel |c früher |
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 362 | 0 | |a 1.1985 - | |
| 363 | 0 | 1 | |a 1 |i 1985 |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zeitschrift |0 (DE-588)4067488-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4067488-5 |a Zeitschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | 1 | |a Zeitschrift |0 (DE-588)4067488-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | 1 | |a Zeitschrift |0 (DE-588)4067488-5 |D s |
| 689 | 1 | |5 ZDB | |
| 776 | 0 | 8 | |i Online-Ausg. |t Journal of automated reasoning |d Dordrecht [u.a.] : Springer Science + Business Media B.V., 1985- |h Online-Ressource |x 1573-0670 |w (DE-604)BV012624643 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001732216 | ||
Datensatz im Suchindex
| _version_ | 1804117069082394624 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV002705697 |
| classification_rvk | EQ 1000 |
| ctrlnum | 51516-4 (OCoLC)310948421 (DE-599)ZDB51516-4 |
| dateSpan | 1.1985 - |
| discipline | Sprachwissenschaft Literaturwissenschaft |
| format | Journal |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01783nas a2200517 c 4500</leader><controlfield tag="001">BV002705697</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220903043520 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">991118c19859999ne || p| |||| 0 ||eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">010451579</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">51516-4</subfield><subfield code="2">DE-600</subfield></datafield><datafield tag="022" ind1=" " ind2=" "><subfield code="a">0168-7433</subfield><subfield code="2">6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)310948421</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)ZDB51516-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">ne</subfield><subfield code="c">XA-NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">LING</subfield><subfield code="q">DE-30</subfield><subfield code="2">fid</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">EQ 1000</subfield><subfield code="0">(DE-625)27712:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">7,11</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">400</subfield><subfield code="2">22sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">17,1</subfield><subfield code="2">ssgn</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</subfield><subfield code="c">1985-</subfield></datafield><datafield tag="264" ind1="2" ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer Acad. Publ.</subfield><subfield code="c">-2004,1</subfield></datafield><datafield tag="264" ind1="2" ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Reidel</subfield><subfield code="c">früher</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="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="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</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">Zeitschrift</subfield><subfield code="0">(DE-588)4067488-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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" ind2=" "><subfield code="5">ZDB</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Online-Ausg.</subfield><subfield code="t">Journal of automated reasoning</subfield><subfield code="d">Dordrecht [u.a.] : Springer Science + Business Media B.V., 1985-</subfield><subfield code="h">Online-Ressource</subfield><subfield code="x">1573-0670</subfield><subfield code="w">(DE-604)BV012624643</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001732216</subfield></datafield></record></collection> |
| genre | (DE-588)4067488-5 Zeitschrift gnd-content |
| genre_facet | Zeitschrift |
| id | DE-604.BV002705697 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:48:32Z |
| institution | BVB |
| issn | 0168-7433 1573-0670 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001732216 |
| oclc_num | 310948421 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-20 DE-824 DE-384 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-706 DE-83 DE-188 |
| owner_facet | DE-12 DE-739 DE-20 DE-824 DE-384 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-706 DE-83 DE-188 |
| publishDate | 1985 2004 |
| 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 Kluwer Acad. Publ. Reidel |
| record_format | marc |
| spelling | Journal of automated reasoning Dordrecht [u.a.] Springer 1985- Dordrecht [u.a.] Kluwer Acad. Publ. -2004,1 Dordrecht [u.a.] Reidel früher txt rdacontent n rdamedia nc rdacarrier 1.1985 - 1 1985 Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Zeitschrift (DE-588)4067488-5 gnd rswk-swf (DE-588)4067488-5 Zeitschrift gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s Zeitschrift (DE-588)4067488-5 s DE-604 Informatik (DE-588)4026894-9 s ZDB Online-Ausg. Journal of automated reasoning Dordrecht [u.a.] : Springer Science + Business Media B.V., 1985- Online-Ressource 1573-0670 (DE-604)BV012624643 |
| spellingShingle | Journal of automated reasoning Automatisches Beweisverfahren (DE-588)4069034-9 gnd Informatik (DE-588)4026894-9 gnd Zeitschrift (DE-588)4067488-5 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)4026894-9 (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 | Automatisches Beweisverfahren (DE-588)4069034-9 gnd Informatik (DE-588)4026894-9 gnd Zeitschrift (DE-588)4067488-5 gnd |
| topic_facet | Automatisches Beweisverfahren Informatik Zeitschrift |
| zdb_num | 51516-4 (DE-599)ZDB51516-4 |