The CADE-13 ATP System Competition

Journal article

Peer reviewed

Geoff Sutcliffe and Christian Suttner

Journal of automated reasoning, Vol.18(2), pp.137-138

1997-04

Abstract

Artificial Intelligence (incl. Robotics)

Logic

Symbolic and Algebraic Manipulation

Philosophy

Mathematical Logic and Foundations

52 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-13 ATP System Competition
Creators: Geoff Sutcliffe - Department of Computer Science James Cook University Townsville Australia
Christian Suttner - Institut für Informatik, TU München München Germany
Publication Details: Journal of automated reasoning, Vol.18(2), pp.137-138
Publisher: Kluwer Academic Publishers
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031597897102976