no code implementations • 18 Dec 2014 • Mohammad Murtaza Mahmud, Swakkhar Shatabda, Mohammad Nurul Huda
Automated Theorem Proving (ATP) is an established branch of Artificial Intelligence.
Automated Theorem Proving