• Top
  • Details (Local collection)
Journal of automated reasoning

Journal of automated reasoning

TOC

Dordrecht : D. Reidel Publishing Company, 1985

Journal / Magazine

Journal holdings

No. Location Call Number Year of holding Holding volume Continuing acceptance

1

1996-2002

16-29

2

Online Journal

Springer-LINK

-2014

Volume No.

Find Past Issues:

Total: 45
No. Location Call Number Material ID Accepted on Binding status Status Waiting

1

4100678

June 13,2002

No. Location Call Number Material ID Accepted on Binding status Status Waiting

1

4100677

June 10,2002

No. Location Call Number Material ID Accepted on Binding status Status Waiting

1

4100665

April 17,2002

No. Location Call Number Material ID Accepted on Binding status Status Waiting

1

4100712

September 13,2002

No. Location Call Number Material ID Accepted on Binding status Status Waiting

1

4100742

January 17,2003

Details

First/Last publication year

Vol. 1, no. 1 (1985)-

Note

Six issues yearly (2 volumes of 3 issues) after Vol.7, no.4 (1991)

Country of publication

Netherlands

Title language

English (eng)

Language of texts

English (eng)

ISSN

01687433

NCID

AA10458306