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	2026-03-19
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 to 4); 69 (1 to 4); 70 (1)
Springer Science & Business Media	Internet Archive	Preserved	2025-08-08
1 to 39
Springer	Portico	Preserved	2026-04-16
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-04-13
1 to 70
Springer	Portico	Preserved	2026-04-16
Preserved : 2000: 25(2)
Springer	Portico	Preserved	2026-04-16
Preserved : 2002: 28(2)
Springer	Portico	Preserved	2026-04-16
Preserved : 2003: 31(1)
Springer	Portico	Preserved	2026-04-16
Preserved : 2004: 32(4)
Springer	Portico	Preserved	2026-04-16
Preserved : 2007: 38(4), 2007: 39(1), 2008: 40(4), 2008: 41(2)
Springer	LOCKSS Archive	In Progress	2026-04-13
48, 49, 62, 63
Springer	Portico	Preserved	2026-04-16
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), 2026: 70(1)
Springer	LOCKSS Archive	Preserved	2026-04-13
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