- Title
- The CADE-22 automated theorem proving system competition – CASC-22
- Creators
- Geoff Sutcliffe
- Publication Details
- Ai communications, Vol.23(1), pp.47-59
- Academic Unit
- Leadership Department; College of A&S; A&S - Computer Science
- Language
- English
- Resource Type
- Journal article
- Record Identifier
- 991031576168602976
Journal article
The CADE-22 automated theorem proving system competition – CASC-22
Ai communications, Vol.23(1), pp.47-59
2010
Metrics
4 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