Journal of automated reasoning

Journal of automated reasoning

目次あり

Dordrecht : D. Reidel Publishing Company, 1985

雑誌

雑誌の所蔵

No. 所在 請求記号 所蔵年 所蔵巻号 受入継続

1

1996-2002

16-29

2

電子ジャーナル

Springer-LINK

-2014

巻号情報

バックナンバーをさがす:

全45件
No. 所在 請求記号 資料ID 受入日 製本状態 状況 予約人数

1

4100678

2002/06/13

No. 所在 請求記号 資料ID 受入日 製本状態 状況 予約人数

1

4100677

2002/06/10

No. 所在 請求記号 資料ID 受入日 製本状態 状況 予約人数

1

4100665

2002/04/17

No. 所在 請求記号 資料ID 受入日 製本状態 状況 予約人数

1

4100712

2002/09/13

No. 所在 請求記号 資料ID 受入日 製本状態 状況 予約人数

1

4100742

2003/01/17

詳細情報

創刊・終刊

Vol. 1, no. 1 (1985)-

注記

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

標題言語

英語 (eng)

本文言語

英語 (eng)

ISSN

01687433

NCID

AA10458306