About
About the Data Science Association
Code of Conduct
International Journal of Data Science - Call for Papers - Deadline September 1, 2023 for Next Issue
Contact
Membership
Resources
Library
Data Science News
Committees
Wisdom
You are here
Home
» Theorem Proving in Large Formal Mathematics as an Emerging AI Field
Theorem Proving in Large Formal Mathematics as an Emerging AI Field
On
23 May, 2014
By
admin
0 Comments
Attachment:
Theorem Proving in Large Formal Mathematics as an Emerging AI Field.pdf
Resource Type:
Academic Paper
Tags:
Theorem Proving
Math
Artificial Intelligence
