Journal of automated reasoning, Vol.28 No.3, 2002年4月

Journal of automated reasoning, Vol.28 No.3, 2002年4月

TOC

Dordrecht : D. Reidel Publishing Company, 1985

Volume / Issue

There are further volumes for this material.

Show other issues

Volume No.

Vol.28 No.3 2002年4月
No. Location Call Number Material ID Accepted on Binding status Status Waiting

1

4100677

June 10,2002

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