

Author: Serdyukova S. I.
Publisher: MAIK Nauka/Interperiodica
ISSN: 0361-7688
Source: Programming and Computer Software, Vol.30, Iss.2, 2004-03, pp. : 118-119
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content


Organizing Numerical Theories Using Axiomatic Type Classes
Journal of Automated Reasoning, Vol. 33, Iss. 1, 2004-07 ,pp. :




By Lee Byung-Jun Kim Byoung-Kuk Cho Yun-Hyun Chun Yon-Do Koo Dae-Hyun
COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 27, Iss. 4, 2008-07 ,pp. :




By Ray S. Saha
International Journal of Computing Science and Mathematics, Vol. 4, Iss. 1, 2013-06 ,pp. :