- Title
- The CADE-25 Automated Theorem Proving system competition – CASC-25
- Creators
- Geoff Sutcliffe - Department of Computer Science, University of Miami, Miami, USA. E-mail: geoff@cs.miami.eduJosef Urban - Intelligent Systems ICIS, Radboud Universiteit, Nijmegen, The Netherlands
- Publication Details
- Ai communications, Vol.29(3), pp.423-433
- Academic Unit
- Leadership Department; College of A&S; A&S - Computer Science
- Language
- English
- Resource Type
- Journal article
- Record Identifier
- 991031577577602976
Journal article
The CADE-25 Automated Theorem Proving system competition – CASC-25
Ai communications, Vol.29(3), pp.423-433
2016-04-26
Metrics
14 Record Views
InCites Highlights
These are selected metrics from InCites Benchmarking & Analytics tool, related to this output
- Collaboration types
- Domestic collaboration
- International collaboration
- 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