The CADE-15 ATP System Competition

Journal article

Peer reviewed

G Sutcliffe and C Suttner

Journal of automated reasoning, Vol.23(1), pp.1-23

1999-07

Abstract

automated theorem proving

Artificial Intelligence (incl. Robotics)

competition

Logic

Symbolic and Algebraic Manipulation

Philosophy

Mathematical Logic and Foundations

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

4 Record Views

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

Collaboration types: Domestic collaboration; International collaboration
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-15 ATP System Competition
Creators: G Sutcliffe - Department of Computer Science James Cook University Townsville Australia
C Suttner - Institut für Informatik, TU München München Germany
Publication Details: Journal of automated reasoning, Vol.23(1), pp.1-23
Publisher: Kluwer Academic Publishers
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031600125102976