Mat
J-GLOBAL ID:200909003201574451
JST material number (FULL):D0359DAL
JST material number:D0359D
Journal of Symbolic Computation
JST material number:
JST material number
Identifier of Material (journals)
D0359D
ISSN (1):
0747-7171
Material type:Article, Meta Only, 7a
Publication frequency: 7a
Country of issued:Netherlands(NLD)
Language (1):
English(EN)
JST classification (2):
情報処理基礎理論 (JB)
, 計算機利用技術 (JE)
Publisher:
Elsevier
Publication place:*
Conference name (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 -
more...
JST library information (0)
※:
※Subject to change. Contact us for the latest status.
Return to Previous Page