Home
This Title All WIREs
WIREs RSS Feed
How to cite this WIREs title:
WIREs Cogn Sci
Impact Factor: 3.175

Artificial Intelligence

Automated theorem proving

Overview
David A. Plaisted
Published Online: Jan 17 2014
DOI:10.1002/wcs.1269

Abstract Full article on Wiley Online Library:   HTML | PDF

Access to this WIREs title is by subscription only.

Recommend to Your
Librarian Now!

The latest WIREs articles in your inbox

Sign Up for Article Alerts