Author: Hayden M.B. Lamagna E.A.
Publisher: Academic Press
ISSN: 0747-7171
Source: Journal of Symbolic Computation, Vol.25, Iss.2, 1998-02, pp. : 195-212
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
A Proof Environment for Teaching Mathematics
By Sommer Richard Nuckols Gregory
Journal of Automated Reasoning, Vol. 32, Iss. 3, 2004-02 ,pp. :
Moving towards an interactive tactual mapping environment
By Lai Poh-Chin
The Cartographic Journal, Vol. 22, Iss. 2, 1985-12 ,pp. :