The CADE-24 automated theorem proving system competition – CASC-24

Journal article

Peer reviewed

Ai communications, Vol.27(4), pp.405-416

2014

Metrics

40 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: Engineering

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

Source: InCites

Title: The CADE-24 automated theorem proving system competition – CASC-24
Creators: Geoff Sutcliffe - Department of Computer Science, University of Miami, Coral Gables, FL, USA. Tel.: +1 305 2842158; Fax: +1 305 2842264; E-mail: geoff@cs.miami.edu
Publication Details: Ai communications, Vol.27(4), pp.405-416
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031599319102976