Author: Tang M.X.
Publisher: Ios Press
ISSN: 1069-2509
Source: Integrated Computer-Aided Engineering, Vol.8, Iss.2, 2001-01, pp. : 171-186
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
Inductive Theorem Proving for Design Specifications
By Padawitz P.
Journal of Symbolic Computation, Vol. 21, Iss. 1, 1996-01 ,pp. :
LEARNING DESIGN KNOWLEDGE AS GENERALIZATION
Cybernetics and Systems, Vol. 29, Iss. 2, 1998-03 ,pp. :