Talk:Automated theorem proving/Comments
From Wikipedia, the free encyclopedia
A longer lead would help. Geometry guy 01:59, 15 June 2007 (UTC)
Interaction
- This page was last modified 01:59, 15 June 2007 by Wikipedia user Geometry guy.
- 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