Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2000
  2. Published

    Tableaux 2000: Automated Reasoning with Analytic Tableaux and Related Methods

    Dyckhoff, R., 2000, Springer-Verlag.

    Research output: Book/ReportBook

  3. 2009
  4. Published

    Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings

    Gent, I. P., 19 Sep 2009, Berlin / Heidelberg: Springer. (Lecture Notes in Computer Science; vol. 5732)

    Research output: Book/ReportAnthology

  5. 2015
  6. Published

    Groups St Andrews 2013

    Campbell, C. M. (ed.), Quick, M. (ed.), Robertson, E. F. (ed.) & Roney-Dougal, C. M. (ed.), 2015, Cambridge: Cambridge University Press. 500 p. (London Mathematical Society lecture note series ; vol. 422)

    Research output: Book/ReportBook

  7. 2017
  8. Published

    Notes on counting: An introduction to enumerative combinatorics

    Cameron, P. J., 21 Jun 2017, Cambridge University Press. 222 p.

    Research output: Book/ReportBook

ID: 1395

Top