Author： Osipov N.
Publisher： MAIK Nauka/Interperiodica
ISSN： 0361-7688
Source： Programming and Computer Software, Vol.40, Iss.2, 2014-03, pp. : 71-78
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Derivatives of rational expressions and related theorems
By Champarnaud J.-M. Duchamp G.
Theoretical Computer Science, Vol. 313, Iss. 1, 2004-02 ,pp. :
Access to resources
Recommend
A Certified Proof of the Cartan Fixed Point Theorems
Journal of Automated Reasoning, Vol. 47, Iss. 3, 2011-10 ,pp. :
The Planimetric Accuracy of Tithe Maps
The Cartographic Journal, Vol. 13, Iss. 2, 1976-12 ,pp. :
Proof-search in type-theoretic languages: an introduction
Theoretical Computer Science, Vol. 232, Iss. 1, 2000-02 ,pp. :
Generalized KKM type theorems in FC-spaces with applications (II)
By Ding Xie
Journal of Global Optimization, Vol. 38, Iss. 3, 2007-07 ,pp. :