![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Alba Enrique Luque Gabriel Coello Carlos A. Coello Luna Erika Hernández
Publisher: Taylor & Francis Ltd
ISSN: 1055-6788
Source: Optimization Methods and Software, Vol.22, Iss.3, 2007-06, pp. : 485-509
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)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Heuristics used by HERBY for semantic tree theorem proving
By Yu Q.
Annals of Mathematics and Artificial Intelligence, Vol. 23, Iss. 3-4, 1998-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Tribotronic Logic Circuits and Basic Operations
ADVANCED MATERIALS, Vol. 27, Iss. 23, 2015-06 ,pp. :