most recent 30 from http://mathoverflow.net 2013-05-21T23:28:51Z http://mathoverflow.net/feeds/user/641 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/1017/intro-to-automatic-theorem-proving-logical-foundations unknown (google) 2009-10-18T08:52:21Z 2010-02-18T13:54:31Z

<p>Is there any web-based course or materials about logic / automatic theorem proving? (I checked MIT's OpenCourseWare and I only found a vaguely related AI course)</p>