Updates

Latest Tweet



What's New?

Check out for latest innovation, a computer based training video collection


Like this Page

Automated Deduction

Home / Category / Automated Deduction

Automated theorem proving (ATP) or automated deduction, currently the most well-developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program.

Showing 2012 and older publications, page 1 of 1
Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

Read more

March 2004

Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Read more

November 1999

Parent Category

Publication by Year