Theorem Proving in Large Formal Mathematics as an Emerging AI Field On 23 May, 2014 By admin 0 Comments Read more... about Theorem Proving in Large Formal Mathematics as an Emerging AI Field
