Author： Martynenko Sergey
Publisher： Inderscience Publishers
ISSN： 1752-5055
Source： International Journal of Computing Science and Mathematics, Vol.4, Iss.4, 2013-12, pp. : 309-320
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
Meta-resolution: An algorithmic formalisation
Theoretical Computer Science, Vol. 166, Iss. 1, 1996-10 ,pp. :
Access to resources
Recommend
Cell-centred multigrid revisited
Computing and Visualization in Science, Vol. 7, Iss. 3-4, 2004-10 ,pp. :
The Qu-Prolog unification algorithm: formalisation and correctness
Theoretical Computer Science, Vol. 169, Iss. 1, 1996-11 ,pp. :