Dashboard
Directory
Archived Titles
Statistics
Comparison Tools
External Tools
Journal of automated reasoning.
Program:
CLOCKSS
Publisher:
D. Reidel Pub. Co.
Print ISSN:
0168-7433
Electronic ISSN:
1573-0670
OCLC Number:
Summary Holdings:
v.1-v.67 (1985-2023)
Holdings Format:
Digital