Journals and Book Series
MCS

Science China

JSC

FCS

Mathematics in Computer Science

SCIENCE CHINA Information Sciences

Journal of Symbolic Computation

Frontiers of Computer Science

Texts and Monographs in Symbolic Computation

Book Series on Fundamentals of Information Science and Technology

Book Series on Mathematics Mechanization