John V Tucker
(2000-2009)
XElementary algebraic specifications of the rational complex numbers
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
(2000-2009)
XElementary algebraic specifications of the rational complex numbers
2006
in: Algebra, meaning, and computation, Dordrecht : Springer