- Title
- Empirically successful computerized reasoning
- Creators
- Renate A Schmidt - University of Manchester, UKGeoff Sutcliffe - University of Miami, USAStephan Schulz - TU München, Germany
- Publication Details
- Journal of applied logic, Vol.7(1), pp.1-1
- Publisher
- Elsevier B.V
- Academic Unit
- Leadership Department; College of A&S; A&S - Computer Science
- Language
- English
- Resource Type
- Journal article
- Record Identifier
- 991031599704102976
Journal article
Empirically successful computerized reasoning
Journal of applied logic, Vol.7(1), pp.1-1
2009
Metrics
3 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
- 8 Earth Sciences
- 8.8 Geochemistry, Geophysics & Geology
- 8.8.1377 Hydrothermal Vents
- Web Of Science research areas
- Computer Science, Artificial Intelligence
- Computer Science, Theory & Methods
- Logic
- Mathematics, Applied
- ESI research areas
- Computer Science
UN Sustainable Development Goals (SDGs)
This output has contributed to the advancement of the following goals:
Source: InCites