Watt, Stephen M. et al "A first report on the A# compiler" (1994) |
[Proceedings] (1994) Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`94) 1994, Oxford, United Kingdom
Languages mentioned
- A# {1995} Subcomponent of AXIOM 2
|
|
|