Evidence Algorithm and System for Automated Deduction: A Retrospective View

Details Evidence Algorithm and System for Automated Deduction: A Retrospective View Evidence Algorithm and System for Automated Deduction: A Retrospective View

2010-05-24

arxiv.org/abs/1005.4447v1

Computer Science

Artificial Intelligence

To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010

Scientific paper

A research project aimed at the development of an automated theorem proving system was started in Kiev (Ukraine) in early 1960s. The mastermind of the project, Academician V.Glushkov, baptized it "Evidence Algorithm", EA. The work on the project lasted, off and on, more than 40 years. In the framework of the project, the Russian and English versions of the System for Automated Deduction, SAD, were constructed. They may be already seen as powerful theorem-proving assistants.

Affiliated with

Also associated with

No associations

Rating

Evidence Algorithm and System for Automated Deduction: A Retrospective View does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Evidence Algorithm and System for Automated Deduction: A Retrospective View, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Evidence Algorithm and System for Automated Deduction: A Retrospective View will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-296930