The CADE-17 ATP System Competition

Journal article

Peer reviewed

Journal of automated reasoning, Vol.27(3), pp.227-250

2001-10

Abstract

automated theorem proving

Artificial Intelligence (incl. Robotics)

competition

Logic

Symbolic and Algebraic Manipulation

Philosophy

Mathematical Logic and Foundations

The results of the CADE-17 ATP System Competition (CASC-17) are presented.

3 Record Views

These are selected metrics from InCites Benchmarking & Analytics tool, related to this output

Citation topics: 4 Electrical Engineering, Electronics & Computer Science; 4.47 Software Engineering; 4.47.281 Abstract Interpretation
Web Of Science research areas: Computer Science, Artificial Intelligence
ESI research areas: Computer Science

This output has contributed to the advancement of the following goals:

Source: InCites

Title: The CADE-17 ATP System Competition
Creators: G Sutcliffe - School of Information Technology James Cook University Townsville Australia
Publication Details: Journal of automated reasoning, Vol.27(3), pp.227-250
Publisher: Kluwer Academic Publishers
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031599956902976