Mat
J-GLOBAL ID：200909082695593639
JST material number (FULL)：W1693AAP
JST material number：W1693A
Journal of Logic and Computation
JST material number：
JST material number
Identifier of Material (journals)
W1693A
ISSN (1)：
0955-792X
Material type：Article, Print, bm
Publication frequency： bm
Country of issued：United Kingdom(GBR)
Language (1)：
English(EN)
JST classification (2)：
情報処理基礎理論 (JB)
, 計算機利用技術 (JE)
Publisher：
Oxford Univ. Press
Publication place：Oxford
Conference name (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 -
ｍore...
JST library information (0)
※：
※Subject to change. Contact us for the latest status.
Return to Previous Page
