5 works on record
Automated Deduction in Geometry
Computational Origami
Artificial Intelligence and Symbolic Computation
2006
Functional and Logic Programming
Symbolic Computation in Software Science