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
