Journal of automated reasoning, Vol.29 No.3-Vol.29 No.4, 2002年

Journal of automated reasoning, Vol.29 No.3-Vol.29 No.4, 2002年

TOC

Dordrecht : D. Reidel Publishing Company, 1985

Volume / Issue

There are further volumes for this material.

Show other issues

Volume No.

Vol.29 No.3-Vol.29 No.4 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