Skip to content

Research at St Andrews

University > Research portal > Researchers > Stephen Alexander Linton > Research publications

Stephen Alexander Linton

Person

1 - 1 out of 1Page size: 100
Sort by: Created date
  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 journal › Special issue › peer-review

Type

Publication year

Status

DOI

Top