Proof Script Pragmatics in IMPS

13 years 8 months ago

This paper introduces the imps proof script mechanism and some practical methods for exploiting it.

William M. Farmer, Joshua D. Guttman, Mark E. Nade

CADE 1994 | Imps Proof Script | Logical Reasoning | Practical Methods |

claim paper

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1994
Where	CADE
Authors	William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer

Comments (0)