Start Over
You searched for: subject "Automatic Theorem Proving"

Search Results

Cover image for A computational logic

A computational logic

Location Call # Status
Joyner - General Stacks QA76.9.A96 B68 ✔ Available
Cover image for Automated theorem proving

Automated theorem proving

Location Call # Status
Joyner - General Stacks QA76.9.A96 L68 ✔ Available
Cover image for Theory reasoning in connection calculi

Theory reasoning in connection calculi

Location Call # Status
Joyner - General Stacks QA76.9.A96 B38 1998 ✔ Available
Cover image for The automation of reasoning with incomplete information

The automation of reasoning with incomplete information

Location Call # Status
Joyner - General Stacks QA76.9.A96 S42 1997 ✔ Available
Cover image for Instantiation theory

Instantiation theory

Location Call # Status
Joyner - General Stacks QA76.9.A96 W55 1991 ✔ Available
Cover image for Automated technology for verification and analysis

Automated technology for verification and analysis

Location
Access Content Online
Cover image for Automated reasoning with analytic tableaux and related methods

Automated reasoning with analytic tableaux and related methods

Location
Access Content Online
Cover image for Theorem proving in higher order logics

Theorem proving in higher order logics

  • by TPHOLs
  • 2005
  • Format: Electronic
Location
Access Content Online
Cover image for Symposium on Automatic Demonstration

Symposium on Automatic Demonstration

Location Call # Status
Joyner - General Stacks QA3 .L28 NO. 125 ✔ Available
Cover image for Automated technology for verification and analysis

Automated technology for verification and analysis

Location Call # Status
Joyner - General Stacks QA76.9.A96 A82 2006 ✔ Available