Author: Blockeel Hendrik Raedt Luc De
Publisher: Taylor & Francis Ltd
ISSN: 1087-6545
Source: Applied Artificial Intelligence, Vol.12, Iss.5, 1998-07, pp. : 385-420
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. :