A fully automatic problem solver with human-style output Posted by shamp00 on Thursday September 19, 2013 @12:53PM from the gowers.wordpress.com dept. http://gowers.wordpress.com/2013/09/19/preprint-about-theorem-proving-program-up-on-arxiv/ ( no comments | 2 points | on HN )
There are no comments yet.