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

ヘルプ English
ログイン 終了

検索結果詳細 : 雑誌

Journal of logic and computation 目次あり PDF

Oxford, England : Oxford University Press, 1990-

この資料の関連情報

:
所在 請求記号 所蔵年 所蔵巻号 受入継続
1 電子化情報 1999-2005 9-15  
2 図書館 2000-2007 10-17  
3 書庫 1990-1999 1-9  
4 電子ジャーナル OUP -2008 +  

[製本済] 17(4-6) 2007

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 図書館 2018541 2010/01/22 製本 0

製本の内容

  • Vol.17 No.4 2007年8月
  • Vol.17 No.5 2007年10月
  • Vol.17 No.6 2007年12月

[製本済] 17(1-3) 2007

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 図書館 2018540 2010/01/22 製本 0

製本の内容

  • Vol.17 No.1 2007年2月
  • Vol.17 No.2 2007年4月
  • Vol.17 No.3 2007年6月

[製本済] 16(4-6) 2006

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

製本の内容

  • Vol.16 No.4 2006年8月
  • Vol.16 No.5 2006年10月
  • Vol.16 No.6 2006年12月

[製本済] 16(1-3) 2006

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

製本の内容

  • Vol.16 No.1 2006年2月
  • Vol.16 No.2 2006年4月
  • Vol.16 No.3 2006年6月

Vol.15 No.6 2005年12月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 電子化情報 4200601 2005/12/14 0
PDF Editorial / David Pym p.819
PDF Completeness and Cut-elimination in the Intuitionistic Theory of Types / Mary DeMarco and Jame Lipton p.821-854
PDF de Bruijn Indices for Metaterms / Eduardo Bonelli, Delia Kesner, and Alejandro Rios p.855-899
PDF Relating Higher-order and First-order Rewriting / Eduardo Bonelli, Delia Kesner, and Alejandro Rios p.901-947
PDF Aristotelian Syntax from a Computational-Combinatorial Point of View / Klaus Glashoff p.949-973
PDF A Decidable Constraint Diagram Reasoning System / Gem Stapleton, John Howse, and John Taylor p.975-1008
PDF Coherence and Flexibility in Dialogue Games for Argumentation / Henry Prakken p.1009-1040
PDF Value-based Argumentation Frameworks as Neural-symbolic Learning Systems / Artur S. D'Avila Garcez, Dov M. Gabbay, and Luis C. Lamb p.1041-1058
PDF Introducing Justification into Epistemic Logic / Sergei Artemov and Elena Nogina p.1059-1073
PDF Persuasion and Value in Legal Argument / Trevor Bench-Capon, Katie Atkinson, and Alison Chorley p.1075-1097
PDF Books Received p.1099
PDF Forthcoming Papers p.1101-1102
PDF Acknowledgements p.1103
PDF Author Index p.1105
PDF Contents for Volume 15 p.1107-1110
創刊・終刊 : Vol. 1, no. 1 (July 1990)-
形態 : v. ; 25 cm
別誌名 :

J. log. comput

Journal of logic and computation

注記 :

Title from cover

標題言語 : (eng)
本文言語 : (eng)
件名 :

Logic programming -- Periodicals

Logic, Symbolic and mathematical -- Periodicals

Computational complexity -- Periodicals

ISSN : 0955792X
NCID : AA10855237
番号 :

CODEN : JLCOEU

LCCN : 91642830