minhnhat93 Posted February 27, 2013 Share Posted February 27, 2013 Hello, i have to make an automated thoerem prover using naturaldeduction method and express the proof in a human-friendly style. i'vebeen searching google but most of the materials there are aboutresolution method. Can anyone give me some books/hints/algorithm aboutthis please? Thanks.example show how to display the proof:http://nv2.upanh.com...67502.resol.png Link to comment Share on other sites More sharing options...
Recommended Posts
Create an account or sign in to comment
You need to be a member in order to leave a comment
Create an account
Sign up for a new account in our community. It's easy!
Register a new accountSign in
Already have an account? Sign in here.
Sign In Now