資料
J-GLOBAL ID:200909003201574451
JST資料番号 (フル):D0359DAL
JST資料番号:D0359D
Journal of Symbolic Computation
JST資料番号:
JST資料番号
JSTが収集資料ごとに付与しているID番号です
D0359D
ISSN (1件):
0747-7171
資料内容種別:一般記事, メタデータのみ, 年7回
刊行頻度: 年7回
発行国:オランダ(NLD)
本文使用言語 (1件):
英語(EN)
JST資料分類 (2件):
情報処理基礎理論 (JB)
, 計算機利用技術 (JE)
出版団体名:
Elsevier
出版地:*
会議 (6件):
- International Workshop on Invariant Generation, Edinburgh, 20100721 -
- International Symposium on Symbolic and Algebraic Computation, Seoul, 20090728 - 20090731
- Meeting MEGA, Barcelona, 20090615 - 20090619
- Meeting MEGA, Porto Conte, 20050527 - 20050601
- IMACS-ACA Conference, Albuquerque, N.M., 19950501 -
もっと見る
JST所蔵 (0件)
※:
※ 所蔵状況は最新でない場合があります。また事情によりご利用いただけない場合があります。
詳細はこちらからお問い合わせください。
前のページに戻る