ScholarSpace will be brought offline for upgrades on Wednesday December 9th at 11AM HST. Service will be disrupted for approximately 2 hours. Please direct any questions to

Browsing Mathematics Department by Subject "Artificial intelligence"

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