Start Over
You searched for: subject "Automatic theorem proving"

Search Results

Cover image for A computational logic

A computational logic

Joyner Library - General Stacks
Call Number: QA76.9.A96 B68
Cover image for Automated theorem proving

Automated theorem proving

Joyner Library - General Stacks
Call Number: QA76.9.A96 L68
Cover image for Theory reasoning in connection calculi

Theory reasoning in connection calculi

Joyner Library - General Stacks
Call Number: QA76.9.A96 B38 1998
Cover image for The automation of reasoning with incomplete information

The automation of reasoning with incomplete information

Joyner Library - General Stacks
Call Number: QA76.9.A96 S42 1997
Cover image for Instantiation theory

Instantiation theory

Joyner Library - General Stacks
Call Number: QA76.9.A96 W55 1991
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

Joyner Library - General Stacks
Call Number: QA3 .L28 NO. 125
Cover image for Automated technology for verification and analysis

Automated technology for verification and analysis

Joyner Library - General Stacks
Call Number: QA76.9.A96 A82 2006