Logica
Truth Table
Clausal Form
Unification
Transformation
Deduction
Resolution
Epilog
Premises:
Conclusion:
Result:
© 2001-2007 Stanford University Logic Group. All rights reserved.
Comments to
Michael Genesereth
.