Common
Automated theorem proving
Subfield of automated reasoning and mathematical logic
Automated theorem proving
Automated theorem proving (ATP), also known as automated deduction, is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major motivating factor for the development of computer science.
Open boosters, collect cards and trade them. Free to play.
Play for free