Key-title  

Journal of automated reasoning (Dordrecht. Online)

Identifiers
Resource information
Archival Status
logo Keepers

Title proper: Journal of automated reasoning.

Country: Netherlands

Medium: Online


logo Keepers
Status Publisher Keeper From To Updated Extent of archive
Preserved

Springer

CLOCKSS Archive

1985

2023

22/05/2023

1 to 67
Preserved

Springer Science & Business Media

Internet Archive

1985

2007

18/12/2022

1 to 39
In Progress

Springer Science+Business Media

LOCKSS Archive

2012

2019

22/05/2023

48, 49, 62, 63
Preserved

Springer Science+Business Media

LOCKSS Archive

2013

2018

22/05/2023

50 to 61
Preserved

Springer

Library of Congress

2018

2022

02/02/2023

60 (3, 4); 61 (1-4); 62 (1 to 4); 63 (1 to 4); 64 (1 to 8); 65 (1 to 8); 66 (1, 2)
Preserved

Springer customer Service Center GmbH

National Digital Preservation Program, China

1997

2021

13/04/2023

Preserved : 2 (1, 3); 3 (1 to 3); 4 (1, 2, 4); 5 (1 to 4); 6 (1 to 4); 18 (1 to 3); 19 (1 to 3); 21 (1 to 3); 22 (1 to 4); 23 (1 to 3); 24 (1, 3, 4); 25 (1 to 4); 26 (1 to 4); 27 (1 to 4); 28 (1 to 4); 29 (1 to 3); 31 (1 to 3); 32 (1 to 4); 33 (1 to 3); 34 (1 to 4); 35 (1, 4); 36 (1, 3, 4); 37 (1, 3, 4); 38 (1, 4); 39 (1 to 4); 41 (1 to 3); 42 (1, 2); 43 (1 to 4); 44 (1, 3, 4); 45 (1 to 4); 46 (1 to 3); 47 (1 to 3); 48 (1 to 4); 49 (1 to 4); 51 (1 to 4); 52 (1 to 4); 53 (1 to 4); 54 (1, 2, 4); 55 (1 to 4); 56 (1 to 4); 57 (1 to 4); 58 (1 to 4); 59 (1 to 4); 61 (1-4); 62 (2 to 4); 63 (1 to 4); 64 (1 to 8); 65 (1 to 8)
Preserved

Kluwer Academic Publishers

National Library of the Netherlands

1997

2019

14/05/2023

Preserved : 18 (1-3); 19 (1-3); 20 (1, 3); 21 (1-3); 22 (1-4); 23 (1-3); 24 (1, 3, 4); 25 (1-4); 26 (1-4); 27 (1-4); 28 (1-4); 29 (1-3); 30 (1-3); 31 (1-3); 32 (4); 33 (1, 2, 3-4); 34 (1-4); 35; 36 (1-2, 3, 4); 37 (1-2, 3, 4); 38 (1-3); 39 (2-4); 40 (1, 2-3, 4); 41 (1, 2, 3-4); 42 (1, 2-4); 43 (1-4); 44 (1-2, 3, 4); 45 (1-4); 46 (1, 2, 3-4); 47 (1-4); 48 (1-4); 49 (1-4); 50 (1-4); 51 (1-4); 52 (1-4); 53 (1-4); 54 (1-4); 55 (1-4); 56 (1-4); 57 (1-4); 58 (1-4); 59 (1-4); 60 (1-4); 61 (1-4); 62 (2-4); 63 (1-4)
Preserved

Springer

Portico

1985

1996

30/05/2023

Preserved : 1985: 1(1-4), 1986: 2(1-4), 1987: 3(1-4), 1988: 4(1-4), 1989: 5(1-4), 1990: 6(1-4), 1991: 7(1-4), 1992: 8(1-3), 1992: 9(1-3), 1993: 10(1-3), 1993: 11(1-3), 1994: 12(1-3), 1994: 13(1-3), 1995: 14(1-3), 1995: 15(1-3), 1996: 16(1-3), 1996: 17(1-3)
Preserved

Springer

Portico

2000

2000

30/05/2023

Preserved : 2000: 25(2)
Preserved

Springer

Portico

2002

2002

30/05/2023

Preserved : 2002: 28(2)
Preserved

Springer

Portico

2003

2003

30/05/2023

Preserved : 2003: 31(1)
Preserved

Springer

Portico

2004

2004

30/05/2023

Preserved : 2004: 32(4)
Preserved

Springer

Portico

2007

2008

30/05/2023

Preserved : 2007: 38(4), 2007: 39(1), 2008: 40(4), 2008: 41(2)
Preserved

Springer

Portico

2012

2023

30/05/2023

Preserved : 2012: 49(2, 4), 2013: 50(1-4), 2013: 51(1-3), 2014: 52(1-4), 2014: 53(1-4), 2015: 54(4), 2015: 55(1-4), 2016: 56(1-4), 2016: 57(1-4), 2017: 58(1-4), 2017: 59(1-4), 2018: 60(1-4), 2018: 61(1-4), 2019: 62(1-4), 2019: 63(1-4), 2018/2019/2020: 64(1-8), 2021: 65(1-8), 2022: 66(1-4), 2023: 67(1-2)
Preserved

Springer

Scholars Portal

1985

2023

09/05/2023

Preserved : 1 (1 to 4); 2 (1 to 4); 3 (1 to 4); 4 (1 to 4); 5 (1 to 4); 6 (1 to 4); 7 (1 to 4); 8 (1 to 3); 9 (1 to 3); 10 (1 to 3); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1/2, 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 20 (1-2, 3); 21 (1 to 3); 22 (1 to 4); 23 (1 to 3); 24 (1-2, 3, 4); 25 (1 to 4); 26 (1 to 4); 27 (1 to 4); 28 (1 to 4); 29 (1, 2, 3-4); 30 (1, 2, 3-4); 31 (1, 2, 3-4); 32 (1 to 4); 33 (1, 2, 3-4); 34 (1 to 4); 35 (1-3, 4); 36 (1-2, 3, 4); 37 (1-2, 3, 4); 38 (1-3, 4); 39 (1 to 4); 40 (1, 2-3, 4); 41 (1, 2, 3-4); 42 (1, 2-4); 43 (1 to 4); 44 (1-2, 3, 4); 45 (1 to 4); 46 (1, 2, 3-4); 47 (1 to 4); 48 (1 to 4); 49 (1 to 4); 50 (1 to 4); 51 (1 to 4); 52 (1 to 4); 53 (1 to 4); 54 (1 to 4); 55 (1 to 4); 56 (1 to 4); 57 (1 to 4); 58 (1 to 4); 59 (1 to 4); 60 (1 to 4); 61 (1-4); 62 (2 to 4); 63 (1 to 4); 64 (1 to 8); 65 (1 to 8); 66 (1 to 4); 67 (1, 2)
Archival Status
Status Publisher Keeper From To Updated Extent of archive
Preserved

Springer

CLOCKSS Archive

1985

2023

22/05/2023

1 to 67
Preserved

Springer Science & Business Media

Internet Archive

1985

2007

18/12/2022

1 to 39
In Progress

Springer Science+Business Media

LOCKSS Archive

2012

2019

22/05/2023

48, 49, 62, 63
Preserved

Springer Science+Business Media

LOCKSS Archive

2013

2018

22/05/2023

50 to 61
Preserved

Springer

Library of Congress

2018

2022

02/02/2023

60 (3, 4); 61 (1-4); 62 (1 to 4); 63 (1 to 4); 64 (1 to 8); 65 (1 to 8); 66 (1, 2)
Preserved

Springer customer Service Center GmbH

National Digital Preservation Program, China

1997

2021

13/04/2023

Preserved : 2 (1, 3); 3 (1 to 3); 4 (1, 2, 4); 5 (1 to 4); 6 (1 to 4); 18 (1 to 3); 19 (1 to 3); 21 (1 to 3); 22 (1 to 4); 23 (1 to 3); 24 (1, 3, 4); 25 (1 to 4); 26 (1 to 4); 27 (1 to 4); 28 (1 to 4); 29 (1 to 3); 31 (1 to 3); 32 (1 to 4); 33 (1 to 3); 34 (1 to 4); 35 (1, 4); 36 (1, 3, 4); 37 (1, 3, 4); 38 (1, 4); 39 (1 to 4); 41 (1 to 3); 42 (1, 2); 43 (1 to 4); 44 (1, 3, 4); 45 (1 to 4); 46 (1 to 3); 47 (1 to 3); 48 (1 to 4); 49 (1 to 4); 51 (1 to 4); 52 (1 to 4); 53 (1 to 4); 54 (1, 2, 4); 55 (1 to 4); 56 (1 to 4); 57 (1 to 4); 58 (1 to 4); 59 (1 to 4); 61 (1-4); 62 (2 to 4); 63 (1 to 4); 64 (1 to 8); 65 (1 to 8)
Preserved

Kluwer Academic Publishers

National Library of the Netherlands

1997

2019

14/05/2023

Preserved : 18 (1-3); 19 (1-3); 20 (1, 3); 21 (1-3); 22 (1-4); 23 (1-3); 24 (1, 3, 4); 25 (1-4); 26 (1-4); 27 (1-4); 28 (1-4); 29 (1-3); 30 (1-3); 31 (1-3); 32 (4); 33 (1, 2, 3-4); 34 (1-4); 35; 36 (1-2, 3, 4); 37 (1-2, 3, 4); 38 (1-3); 39 (2-4); 40 (1, 2-3, 4); 41 (1, 2, 3-4); 42 (1, 2-4); 43 (1-4); 44 (1-2, 3, 4); 45 (1-4); 46 (1, 2, 3-4); 47 (1-4); 48 (1-4); 49 (1-4); 50 (1-4); 51 (1-4); 52 (1-4); 53 (1-4); 54 (1-4); 55 (1-4); 56 (1-4); 57 (1-4); 58 (1-4); 59 (1-4); 60 (1-4); 61 (1-4); 62 (2-4); 63 (1-4)
Preserved

Springer

Portico

1985

1996

30/05/2023

Preserved : 1985: 1(1-4), 1986: 2(1-4), 1987: 3(1-4), 1988: 4(1-4), 1989: 5(1-4), 1990: 6(1-4), 1991: 7(1-4), 1992: 8(1-3), 1992: 9(1-3), 1993: 10(1-3), 1993: 11(1-3), 1994: 12(1-3), 1994: 13(1-3), 1995: 14(1-3), 1995: 15(1-3), 1996: 16(1-3), 1996: 17(1-3)
Preserved

Springer

Portico

2000

2000

30/05/2023

Preserved : 2000: 25(2)
Preserved

Springer

Portico

2002

2002

30/05/2023

Preserved : 2002: 28(2)
Preserved

Springer

Portico

2003

2003

30/05/2023

Preserved : 2003: 31(1)
Preserved

Springer

Portico

2004

2004

30/05/2023

Preserved : 2004: 32(4)
Preserved

Springer

Portico

2007

2008

30/05/2023

Preserved : 2007: 38(4), 2007: 39(1), 2008: 40(4), 2008: 41(2)
Preserved

Springer

Portico

2012

2023

30/05/2023

Preserved : 2012: 49(2, 4), 2013: 50(1-4), 2013: 51(1-3), 2014: 52(1-4), 2014: 53(1-4), 2015: 54(4), 2015: 55(1-4), 2016: 56(1-4), 2016: 57(1-4), 2017: 58(1-4), 2017: 59(1-4), 2018: 60(1-4), 2018: 61(1-4), 2019: 62(1-4), 2019: 63(1-4), 2018/2019/2020: 64(1-8), 2021: 65(1-8), 2022: 66(1-4), 2023: 67(1-2)
Preserved

Springer

Scholars Portal

1985

2023

09/05/2023

Preserved : 1 (1 to 4); 2 (1 to 4); 3 (1 to 4); 4 (1 to 4); 5 (1 to 4); 6 (1 to 4); 7 (1 to 4); 8 (1 to 3); 9 (1 to 3); 10 (1 to 3); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1/2, 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 20 (1-2, 3); 21 (1 to 3); 22 (1 to 4); 23 (1 to 3); 24 (1-2, 3, 4); 25 (1 to 4); 26 (1 to 4); 27 (1 to 4); 28 (1 to 4); 29 (1, 2, 3-4); 30 (1, 2, 3-4); 31 (1, 2, 3-4); 32 (1 to 4); 33 (1, 2, 3-4); 34 (1 to 4); 35 (1-3, 4); 36 (1-2, 3, 4); 37 (1-2, 3, 4); 38 (1-3, 4); 39 (1 to 4); 40 (1, 2-3, 4); 41 (1, 2, 3-4); 42 (1, 2-4); 43 (1 to 4); 44 (1-2, 3, 4); 45 (1 to 4); 46 (1, 2, 3-4); 47 (1 to 4); 48 (1 to 4); 49 (1 to 4); 50 (1 to 4); 51 (1 to 4); 52 (1 to 4); 53 (1 to 4); 54 (1 to 4); 55 (1 to 4); 56 (1 to 4); 57 (1 to 4); 58 (1 to 4); 59 (1 to 4); 60 (1 to 4); 61 (1-4); 62 (2 to 4); 63 (1 to 4); 64 (1 to 8); 65 (1 to 8); 66 (1 to 4); 67 (1, 2)
Record information

Last modification date: 07/02/2021

Type of record: Confirmed

ISSN Center responsible of the record: ISSN National Centre for The Netherlands

Links

URL: dx.doi.org/10.1 ... http://dx.doi.org/10.1007/10817.1573-0670

Wikipedia: ar.wikipedia.or ... https://ar.wikipedia.org/wiki/%D9%85%D8%AC%D9%84%D8%A9_%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82_%D8%A7%D9%84%D8%A2%D9%84%D9%8A

Wikipedia: en.wikipedia.or ... https://en.wikipedia.org/wiki/Journal_of_Automated_Reasoning

SUDOC: www.sudoc.fr/11 ... http://www.sudoc.fr/111374073

Wikidata: www.wikidata.or ... http://www.wikidata.org/entity/Q6294821

KEEPERS link: archive.org/det ... https://archive.org/details/pub_journal-of-automated-reasoning

FATCAT: fatcat.wiki/con ... https://fatcat.wiki/container/2ewief65xnegfh2slwulpgsnba

URL: dx.doi.org/10.1 ... http://dx.doi.org/10.1007/10817.1573-0670

Wikipedia: ar.wikipedia.or ... https://ar.wikipedia.org/wiki/%D9%85%D8%AC%D9%84%D8%A9_%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82_%D8%A7%D9%84%D8%A2%D9%84%D9%8A

Wikipedia: en.wikipedia.or ... https://en.wikipedia.org/wiki/Journal_of_Automated_Reasoning

SUDOC: www.sudoc.fr/11 ... http://www.sudoc.fr/111374073

Wikidata: www.wikidata.or ... http://www.wikidata.org/entity/Q6294821

KEEPERS link: archive.org/det ... https://archive.org/details/pub_journal-of-automated-reasoning

FATCAT: fatcat.wiki/con ... https://fatcat.wiki/container/2ewief65xnegfh2slwulpgsnba

Google: www.google.com/ ... https://www.google.com/search?q=ISSN+%221573-0670%22

Bing: www.bing.com/se ... https://www.bing.com/search?q=ISSN+%221573-0670%22

Yahoo: search.yahoo.co ... https://search.yahoo.com/search?p=ISSN%20%221573-0670%22

Koninklijke Bibliotheek: opc4.kb.nl/DB=1 ... http://opc4.kb.nl/DB=1/LNG=EN/CMD?ACT=SRCHA&IKT=8&TRM=1573-0670

CROSSREF: search.crossref ... https://search.crossref.org/?q=+1573-0670

Pubmed: pubmed.ncbi.nlm ... https://pubmed.ncbi.nlm.nih.gov/?term=%221573-0670%22%5BJournal%5D&sort=

.........