The CADE-16 ATP System Competition

Journal article

Peer reviewed

Journal of automated reasoning, Vol.24(3), pp.371-396

2000-04

Abstract

automated theorem proving

Artificial Intelligence (incl. Robotics)

competition

Logic

Symbolic and Algebraic Manipulation

Philosophy

Mathematical Logic and Foundations

The results of the CADE-16 ATP System Competition (CASC-16) 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-16 ATP System Competition
Creators: Geoff Sutcliffe
Publication Details: Journal of automated reasoning, Vol.24(3), pp.371-396
Publisher: Kluwer Academic Publishers
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031600501502976