"Automatic Theorem Proving" - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: subject "Automatic Theorem Proving"

Showing 31 - 40 of 248 results

Search Results

Cover image for Symposium on Automatic Demonstration

Symposium on Automatic Demonstration

by Laudet, M.
2008
Format: Electronic

Location
Access Content Online

Cover image for Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

2008
Format: Electronic

Location
Access Content Online

Cover image for Theory reasoning in connection calculi

Theory reasoning in connection calculi

by Baumgartner, Peter, 1962-
1998
Format: Electronic

Location
Access Content Online

Cover image for Methods of Cut-Elimination

Methods of Cut-Elimination

by Leitsch, Alexander
2011
Format: Electronic

Location
Access Content Online

Cover image for Instantiation theory

Instantiation theory

by Williams, James G.
1991
Format: Electronic

Location
Access Content Online

Cover image for The automation of reasoning with incomplete information

The automation of reasoning with incomplete information

by Schaub, Torsten
1997
Format: Electronic

Location
Access Content Online

Cover image for Isabelle/HOL

Isabelle/HOL

by Nipkow, Tobias, 1958-
2002
Format: Electronic

Location
Access Content Online

Cover image for Interactive theorem proving

Interactive theorem proving

by ITP (Conference)
2012
Format: Electronic

Location
Access Content Online

Cover image for Automated reasoning

Automated reasoning

by IJCAR (Conference)
2012
Format: Electronic

Location
Access Content Online

Cover image for From logic design to logic programming

From logic design to logic programming

by Snyers, Dominique, 1959-
1987
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.A96 S62 1987	✔ Available