Author： Goltz U. Gorrieri R. Rensink A.
Publisher： Academic Press
ISSN： 0890-5401
Source： Information and Computation, Vol.125, Iss.2, 1996-03, pp. : 118-143
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
Semantic and Syntactic Proof Productions
Educational Studies in Mathematics, Vol. 56, Iss. 2-3, 2004-06 ,pp. :
Access to resources
Recommend
Episodic refinement of episodic skeletal-plan refinement
International Journal of Human-Computer Studies, Vol. 48, Iss. 4, 1998-04 ,pp. :
Iterative refinement for Neville elimination
By Alonso P.
International Journal of Computer Mathematics, Vol. 86, Iss. 2, 2009-02 ,pp. :