Sign in
Empirically successful computerized reasoning
Journal article   Open access  Peer reviewed

Empirically successful computerized reasoning

Renate A Schmidt, Geoff Sutcliffe and Stephan Schulz
Journal of applied logic, Vol.7(1), pp.1-1
2009
url
https://doi.org/10.1016/j.jal.2007.07.001View
Published (Version of record) Open

Metrics

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:

#14 Life Below Water

Source: InCites

Details