HomeRecord
Advanced search ROAD search The Keepers search

Identifiers

ISSN :

1573-0670

Linking ISSN (ISSN-L): 0168-7433

Links

Key-title  

Journal of automated reasoning (Dordrecht. Online)

Identifiers
ISSN :

1573-0670

Linking ISSN (ISSN-L): 0168-7433

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, Online access with authorization, 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

 23/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

 23/09/2024
48, 49, 62, 63
Preserved

 Springer

 LOCKSS Archive

 2013

 2018

 23/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-4)
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

 23/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

 23/09/2024
48, 49, 62, 63
Preserved

 Springer

 LOCKSS Archive

 2013

 2018

 23/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-4)
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 this bibliographic record (missing or wrong data etc.), please contact the ISSN National Centre mentioned above by clicking on the link.

Links
.........

My Tools

Share
Print Display linked data

Discover all the features of the complete ISSN records

Access the full version of the ISSN Portal