Start Over
You searched for: subject Automatic theorem proving

Search Results

Cover image for Automated theorem proving

Automated theorem proving

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

Instantiation theory

Location Call # Status
Joyner - General Stacks QA76.9.A96 W55 1991 ✔ Available
Cover image for A computational logic

A computational logic

Location Call # Status
Joyner - General Stacks QA76.9.A96 B68 ✔ 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 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 Theorem proving in higher order logics

Theorem proving in higher order logics

Location Call # Status
Joyner - General Stacks QA76.9.A96 T655 1999 ✔ Available
Cover image for Automated reasoning with analytic tableaux and related methods

Automated reasoning with analytic tableaux and related methods

Location Call # Status
Joyner - General Stacks QA76.9.A96 T33 2000 ✔ Available
Cover image for Theorem proving in higher order logics

Theorem proving in higher order logics

Location Call # Status
Joyner - General Stacks QA76.9.A96 T655 2000 ✔ 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 I578 2004 ✔ Available
Cover image for Higher order logic theorem proving and its applications

Higher order logic theorem proving and its applications

  • 1994
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.9.A96 H54 1994 ✔ Available