Author： Baumgartner P. Furbach U. Gross-Hardt M. Sinner A.
Publisher： Springer Publishing Company
ISSN： 0168-7433
Source： Journal of Automated Reasoning, Vol.32, Iss.3, 2004-02, pp. : 259-286
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
Slicing Software for Model Construction
By Hatcliff J.
LISP and Symbolic Computation, Vol. 13, Iss. 4, 2000-12 ,pp. :
Access to resources
Recommend
Experiments in linear natural deduction
Theoretical Computer Science, Vol. 176, Iss. 1, 1997-04 ,pp. :
Peirce's Rule in Natural Deduction
Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. :
Deduction from conditional knowledge
By Bamber D. Goodman I. R. Nguyen H. T.
Soft Computing, Vol. 8, Iss. 4, 2004-02 ,pp. :