The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9

Journal article

Peer reviewed

Ai communications, Vol.31(6), pp.495-507

2018-12-21

Metrics

9 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 9th IJCAR Automated Theorem Proving System Competition – CASC-J9
Creators: Geoff Sutcliffe - Department of Computer Science, University of Miami, USA. E-mail: geoff@cs.miami.edu
Publication Details: Ai communications, Vol.31(6), pp.495-507
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031578780802976