Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: P

Number of items: 1.

P

Poll, Erik and Thompson, Simon (2000) Integrating Computer Algebra and Reasoning through the Type System of Aldor. In: Kirchner, Hélène and Ringeissen, Christophe, eds. Frontiers of Combining Systems Third International Workshop. Lecture Notes in Computer Science, 1794 . Springer, Berlin, Germany, pp. 136-150. ISBN 978-3-540-67281-4. E-ISBN 978-3-540-46421-1. (doi:10.1007/10720084_10) (KAR id:22041)

This list was generated on Thu May 9 22:24:09 2024 BST.