ISSN Record 1573-0670

Identifiers

ISSN:: 1573-0670

ISSN-L:: 0168-7433

Titles

Title proper:: Journal of automated reasoning.

Publication

Medium:: Online

Other media:: Print

Country:: NETHERLANDS

Online

Search in

Archival status

This resource has been partly archived by the keepers network.

Archival Status
Publisher	Keeper	Status	Last updated
on 2
Springer	Scholars Portal	Preserved	2025-09-02
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 (, 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 to 4); 69 (, 1 to 3); 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; 2025
Springer Science & Business Media	Internet Archive	Preserved	2025-08-08
1 to 39
Springer	Portico	Preserved	2026-02-12
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)
Springer	CLOCKSS Archive	Preserved	2026-02-09
1 to 70
Springer	Portico	Preserved	2026-02-12
Preserved : 2000: 25(2)
Springer	Portico	Preserved	2026-02-12
Preserved : 2002: 28(2)
Springer	Portico	Preserved	2026-02-12
Preserved : 2003: 31(1)
Springer	Portico	Preserved	2026-02-12
Preserved : 2004: 32(4)
Springer	Portico	Preserved	2026-02-12
Preserved : 2007: 38(4), 2007: 39(1), 2008: 40(4), 2008: 41(2)
Springer	LOCKSS Archive	In Progress	2026-02-09
48, 49, 62, 63
Springer	Portico	Preserved	2026-02-12
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), 2025: 69(1-4), 2025: 70(1)
Springer	LOCKSS Archive	Preserved	2026-02-09
50 to 61
Springer	Library of Congress	Preserved	2025-04-07
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 to 4)
Springer Nature	National Digital Preservation Program, China	Preserved	2025-10-23
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); 68 (1 to 4)
Springer Nature	National Digital Preservation Program, China	Preserved	2025-12-04
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); 68 (1 to 4)
Kluwer Academic Publishers	National Library of the Netherlands	Preserved	2024-12-15
Preserved : 5 (5S); 18 (1-3); 19 (1-3); 20 (1, 3); 21 (1-3); 22 (2-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, 2, 4); 55 (1, 3, 4); 56 (1-4); 57 (1-4); 58 (1-4); 59 (1, 2, 4); 60 (1-4); 61 (1-4); 62 (2-4); 63 (1-4)

Record

Last modified:: 2025/12/12

ISSN Center responsible for the record:: Netherlands