The 4th IJCAR Automated Theorem Proving System Competition – CASC-J4

Journal article

Peer reviewed

Ai communications, Vol.22(1), pp.59-72

2009

Metrics

10 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 4th IJCAR Automated Theorem Proving System Competition – CASC-J4
Creators: Geoff Sutcliffe
Publication Details: Ai communications, Vol.22(1), pp.59-72
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031576277202976