![](/img/cover-not-exists.png)
Automated theorem proving
Plaisted, David A.Volume:
5
Language:
english
Journal:
Wiley Interdisciplinary Reviews: Cognitive Science
DOI:
10.1002/wcs.1269
Date:
March, 2014
File:
PDF, 629 KB
english, 2014