奈良先端科学技術大学院大学附属図書館

ヘルプ English
ログイン 終了

検索結果詳細 : 雑誌

Journal of automated reasoning 目次あり PDF

Dordrecht : D. Reidel Publishing Company, 1985

この資料の関連情報

:
所在 請求記号 所蔵年 所蔵巻号 受入継続
1 電子化情報 1996-2002 16-29  
2 図書館 2000-2005 24-35  
3 書庫 1993-1999 10-23  
4 電子ジャーナル Springer-LINK -2014  

[製本済] 35 2005

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 図書館 2016522 2007/12/03 製本 0

製本の内容

  • Vol.35 No.4 2005年
  • Vol.35 No.1 2005年
  • Vol.35 No.2 2005年
  • Vol.35 No.3 2005年

[製本済] 34 2005

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 図書館 2016521 2007/12/03 製本 0

製本の内容

  • Vol.34 No.1 2005年
  • Vol.34 No.2 2005年
  • Vol.34 No.3 2005年
  • Vol.34 No.4 2005年

[製本済] 33 2004

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 図書館 2016520 2007/12/03 製本 0

製本の内容

  • Vol.33 No.1 2004年
  • Vol.33 No.2 2004年
  • Vol.33 No.4 2004年
  • Vol.33 No.3 2004年

[製本済] 32 2004

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 図書館 2016519 2007/12/03 製本 0

製本の内容

  • Vol.32 No.1 2004年
  • Vol.32 No.2 2004年
  • Vol.32 No.3 2004年
  • Vol.32 No.4 2004年

[製本済] 31 2003

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 図書館 2013481 2005/12/07 製本 0

製本の内容

  • Vol.31 No.1 2003年
  • Vol.31 No.2 2003年
  • Vol.31 No.3 2003年
  • Vol.31 No.4 2003年
創刊・終刊 : 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