Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. Editorial › Research › Peer-reviewed
  2. Published

    Editorial: The integration of automated reasoning and computer algebra systems

    Linton, S. & Sebastiani, R., Oct 2002, In : Journal of Symbolic Computation. 34, p. 239-239 1 p.

    Research output: Contribution to journalEditorial

Top