資料
J-GLOBAL ID:200909082695593639
JST資料番号 (フル):W1693AAP
JST資料番号:W1693A
Journal of Logic and Computation
JST資料番号:
JST資料番号
JSTが収集資料ごとに付与しているID番号です
W1693A
ISSN (1件):
0955-792X
資料内容種別:一般記事, 冊子体, 隔月(年6回)
刊行頻度: 隔月(年6回)
発行国:イギリス(GBR)
本文使用言語 (1件):
英語(EN)
JST資料分類 (2件):
情報処理基礎理論 (JB)
, 計算機利用技術 (JE)
出版団体名:
Oxford Univ. Press
出版地:Oxford
会議 (7件):
- Logic Colloquium, Sofia, 20090731 - 20090805
- International Workshop on Computational Logic in Multi-Agent Systems, 12th, Barcelona, 20110717 - 20110718
- International Workshop on Computational Logic in Multi-Agent Systems, 13th, Montpellier, 20120801 -
- Conference Tableaux, Aix en Provence, 20070703 - 20070706
- International Workshop on Runtime Verification, Vancouver, 20070313 -
もっと見る
JST所蔵 (0件)
※:
※ 所蔵状況は最新でない場合があります。また事情によりご利用いただけない場合があります。
詳細はこちらからお問い合わせください。
前のページに戻る