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

Digital Archives:

LOCKSS Archive, Global LOCKSS Network, https://www.lockss.org, Online access with authorization, 2012/2019, incomplete

LOCKSS Archive, Global LOCKSS Network, https://www.lockss.org, Online access with authorization, 2013/2018

E-depot, KB, nationale bibliotheek, No online access, 1997/2019

Library of Congress, Library of Congress, https://www.loc.gov, Online access with authorization, 2018/2024

NDPP, China, National Science Library, Chinese Academy of Sciences, http://english.las.cas.cn, Online access with authorization, 1997/2023

Scholars Portal, Ontario Council of University Libraries, https://scholarsportal.info, Online access with authorization, 1985/2024

CLOCKSS Archive, CLOCKSS Archive, https://clockss.org, No online access, 1985/2024

Portico, Portico, https://www.portico.org, Online access with authorization, 2000/2000

Portico, Portico, https://www.portico.org, Online access with authorization, 2002/2002

Portico, Portico, https://www.portico.org, Online access with authorization, 2003/2003

Portico, Portico, https://www.portico.org, Online access with authorization, 2004/2004

Portico, Portico, https://www.portico.org, Online access with authorization, 2007/2008

Portico, Portico, https://www.portico.org, Online access with authorization, 2012/2024

Internet Archive Scholar, Internet Archive, https://archive.org/details/pub_journal-of-automated-reasoning, Unrestricted online access, 1985/2007

Portico, Portico, https://www.portico.org, Online access with authorization, 1985/1996


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

Springer

CLOCKSS Archive

1985

2024

02/09/2024

1 to 68
Preserved

Springer Science & Business Media

Internet Archive

1985

2007

26/04/2024

1 to 39
In Progress

Springer

LOCKSS Archive

2012

2019

02/09/2024

48, 49, 62, 63
Preserved

Springer

LOCKSS Archive

2013

2018

02/09/2024

50 to 61
Preserved

Springer

Library of Congress

2018

2024

30/08/2024

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

Springer Nature

National Digital Preservation Program, China

1997

2023

17/07/2024

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 4); 48 (1 to 4); 49 (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); 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 to 4)
Preserved

Springer Nature

National Digital Preservation Program, China

1997

2023

09/04/2024

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 4); 48 (1 to 4); 49 (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); 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 to 4)
Preserved

Kluwer Academic Publishers

National Library of the Netherlands

1997

2019

20/10/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

28/04/2024

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

28/04/2024

Preserved : 2000: 25(2)
Preserved

Springer

Portico

2002

2002

28/04/2024

Preserved : 2002: 28(2)
Preserved

Springer

Portico

2003

2003

28/04/2024

Preserved : 2003: 31(1)
Preserved

Springer

Portico

2004

2004

28/04/2024

Preserved : 2004: 32(4)
Preserved

Springer

Portico

2007

2008

28/04/2024

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

Springer

Portico

2012

2024

28/04/2024

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-4), 2024: 68(1-3)
Preserved

Springer

Scholars Portal

1985

2024

02/04/2024

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 to 4); 68 (1, 2)
Archival Status
Status Publisher Keeper From To Updated Extent of archive
Preserved

Springer

CLOCKSS Archive

1985

2024

02/09/2024

1 to 68
Preserved

Springer Science & Business Media

Internet Archive

1985

2007

26/04/2024

1 to 39
In Progress

Springer

LOCKSS Archive

2012

2019

02/09/2024

48, 49, 62, 63
Preserved

Springer

LOCKSS Archive

2013

2018

02/09/2024

50 to 61
Preserved

Springer

Library of Congress

2018

2024

30/08/2024

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

Springer Nature

National Digital Preservation Program, China

1997

2023

17/07/2024

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 4); 48 (1 to 4); 49 (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); 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 to 4)
Preserved

Springer Nature

National Digital Preservation Program, China

1997

2023

09/04/2024

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 4); 48 (1 to 4); 49 (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); 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 to 4)
Preserved

Kluwer Academic Publishers

National Library of the Netherlands

1997

2019

20/10/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

28/04/2024

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

28/04/2024

Preserved : 2000: 25(2)
Preserved

Springer

Portico

2002

2002

28/04/2024

Preserved : 2002: 28(2)
Preserved

Springer

Portico

2003

2003

28/04/2024

Preserved : 2003: 31(1)
Preserved

Springer

Portico

2004

2004

28/04/2024

Preserved : 2004: 32(4)
Preserved

Springer

Portico

2007

2008

28/04/2024

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

Springer

Portico

2012

2024

28/04/2024

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-4), 2024: 68(1-3)
Preserved

Springer

Scholars Portal

1985

2024

02/04/2024

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 to 4); 68 (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

For all potential issues concerning the description of the publication identified by this bibliographic record (missing or wrong data etc.), please contact the ISSN National Centre mentioned above by clicking on the link.

Links
.........