Other volumes

  1. EUROCAL '85
    European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures
  2. European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 2: Research Contributions

About these proceedings

Keywords

algorithms computer algebra proof proof theory

Bibliographic information

  • Copyright Information Springer-Verlag 1985
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-15983-4
  • Online ISBN 978-3-540-39684-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349