Back to Search Start Over

The impact of CASC in the development of automated deduction systems.

Authors :
Nieuwenhuis, Robert
Source :
AI Communications. 2002, Vol. 15 Issue 2/3, p77. 2p.
Publication Year :
2002

Abstract

Focuses on Computer-Assisted Data Evaluation (CADE) Automated theorem proving System Competition (CASC) held each year at the International Conference on Automated Deduction. Aim of CASC; Topics included in the discussion; Introduction of several articles regarding computer programs.

Subjects

Subjects :
*AUTOMATIC theorem proving
*COMPUTER assisted instruction
*COMPUTER software

Details

Language :
English
ISSN :
09217126
Volume :
15
Issue :
2/3
Database :
Academic Search Index
Journal :
AI Communications
Publication Type :
Academic Journal
Accession number :
6969752

Tools

Authors Abstract Subjects Details