Journal of automated reasoning.
- Publisher: D. Reidel Pub. Co.
- Print ISSN: 0168-7433
- Electronic ISSN: 1573-0670
- OCLC Number: 11936798
- Subject: Automatic theorem proving Periodicals.
- Subject code:
- Publication history: Vol. 1, no. 1-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| Boston University (BOS) | EAST | V.1-43 (1985-2009) | 20310630 |
| Brandeis University (MBB) | EAST | v.1(1985)-v.29(2002) | 20310630 |
| Emory University (EMU) | Scholars Trust | v.4-v.37 (1988-2006) | 20351231 |
| HathiTrust (HATHI) | HTDL | v.25 2000; v.27 2001 | permanent |
| Indiana University Shared Print in Storage (IULSP) | Big Ten Academic Alliance (BTAA) Shared Print Repository | 1 (1985)-37 (2006) | 20360630 |
| Linda Hall Library of Science, Engineering & Technology (LHL) | Linda Hall Library of Science, Engineering & Technology | v1(1985)-5(1989); Vol. 26 no. 3 (April 2001); Vol. 27 no. 2 (2001) | |
| U of Florida Shared Print Storage (FLARE) | Florida Academic Repository (FLARE), Scholars Trust | v.1(1985)-v.39(2007) | 20351231 |
| University of California, SRLF Shared Print (ZAS) | WEST, WEST Bronze, UCL Shared Print | v.1-17(1985-1996),v.32(2004)v.33:no.1,3-4(2004),v.34-45(2005-2010) | 20351231 |
Digital Holdings
| Program | Holdings Description |
|---|---|
| CLOCKSS | v.1-v.67 (1985-2023) |