![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Ivanov Sergiu
Publisher: Taylor & Francis Ltd
ISSN: 0020-7160
Source: International Journal of Computer Mathematics, Vol.90, Iss.4, 2013-04, pp. : 776-788
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
A formal framework for evaluating heuristic programs
By Cowen L.
Annals of Mathematics and Artificial Intelligence, Vol. 22, Iss. 3-4, 1998-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
A flexible formal framework for masking/demasking faults
Information Sciences, Vol. 159, Iss. 1, 2004-01 ,pp. :