Jump to content

minhnhat93

New Members
 View Profile  See their activity

  • Posts

    1

  • Joined

  • Last visited

Profile Information

  • Favorite Area of Science
    Computer Science

minhnhat93's Achievements

Lepton

Lepton (1/13)

0

Reputation

  1. minhnhat93
    Hello, i have to make an automated thoerem prover using natural deduction method and express the proof in a human-friendly style. i've been searching google but most of the materials there are about resolution method. Can anyone give me some books/hints/algorithm about this please? Thanks. example show how to display the proof: http://nv2.upanh.com...67502.resol.png
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.