Author: Anile A. Cutello V. Narzisi G. Nicosia G. Spinella S.
Publisher: Springer Publishing Company
ISSN: 1567-7818
Source: Natural Computing, Vol.6, Iss.1, 2007-03, pp. : 55-72
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
Search algorithms in type theory
By Caldwell J.L. Gent I.P. Underwood J.
Theoretical Computer Science, Vol. 232, Iss. 1, 2000-02 ,pp. :
Octopus: Combining Learning and Parallel Search
Journal of Automated Reasoning, Vol. 33, Iss. 2, 2004-09 ,pp. :