Order sorted computer algebra and coercions

Order sorted computer algebra and coercions

Bibliographic Details
Main Author: Doye, Nicolas James
Published: University of Bath 1997
Subjects:
510
Pure mathematics
Online Access:https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.242528

Internet

https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.242528

Similar Items