Category:Automated theorem proving
From Wikipedia, the free encyclopedia
-
The main article for this category is Automated theorem proving.
Subcategories
This category has the following 2 subcategories, out of 2 total.
Interaction
Languages
- This page was last modified 08:51, 3 October 2007 by Wikipedia user Escarbot. Based on work by Wikipedia user(s) CharlesGillingham, Mikkalai, Gregbard, Jpbowen and Tizio.
- All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity. - About Wikipedia
- Disclaimers