Mathematics in Computer Science
Science in China Series F:
Information Sciences
Journal of Symbolic Computation
Frontiers of Computer
Science in China
Texts and Monographs in Symbolic Computation
Book Series on Fundamentals of
Information Science and Technology
Book Series on Mathematics
Mechanization
