Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. Published

    Special Issue on the Integration of Automated Reasoning and Computer Algebra Systems

    Linton, S. A. (ed.) & Sebastiani, R. (ed.), Oct 2002, In : Journal of Symbolic Computation. 34, 4, 68 p.

    Research output: Contribution to journalSpecial issue

Top