Author: Courant J. Daubignard M. Ene C. Lafourcade P. Lakhnech Y.
Publisher: Springer Publishing Company
ISSN: 0168-7433
Source: Journal of Automated Reasoning, Vol.46, Iss.3-4, 2011-04, pp. : 261-291
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
By Ye Zheng Chou Shang-Ching Gao Xiao-Shan
Journal of Automated Reasoning, Vol. 45, Iss. 3, 2010-10 ,pp. :
Towards the animation of proofs - testing proofs by examples
By Hayashi S. Sumitomo R. Shii K.-i.
Theoretical Computer Science, Vol. 272, Iss. 1, 2002-02 ,pp. :