Skip to content

Research at St Andrews

Stephen Alexander Linton


  1. 2002
  2. 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 issuepeer-review