- Title
- The CADE-27 Automated theorem proving System Competition – CASC-27
- Creators
- Geoff Sutcliffe - Department of Computer Science, University of Miami, USA. E-mail: geoff@cs.miami.edu
- Publication Details
- Ai communications, Vol.32(5-6), pp.373-389
- Academic Unit
- Leadership Department; College of A&S; A&S - Computer Science
- Language
- English
- Resource Type
- Journal article
- Record Identifier
- 991031578540802976
Journal article
The CADE-27 Automated theorem proving System Competition – CASC-27
Ai communications, Vol.32(5-6), pp.373-389
2019
Metrics
13 Record Views
InCites Highlights
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
UN Sustainable Development Goals (SDGs)
This output has contributed to the advancement of the following goals:
Source: InCites