Browsing Ph.D. Dissertations- Mathematics Department by Subject "Automatic theorem proving"

Sort by: Order: Results:

Now showing items 1-1 of 1

  • Huang, Guoxiang (1996)
    This dissertation introduces new theorem-proving strategies and uses these strategies to solve a wide variety of difficult problems requiring logical reasoning. It also shows how to use theorem-proving to solve the problem ...

Now showing items 1-1 of 1


Advanced Search


My Account