Empirically Successful Automated Reasoning: Applications Issue

Journal article

Peer reviewed

Bernd Fischer, Geoff Sutcliffe and Stephan Schulz

Journal of automated reasoning, Vol.37(1), pp.1-1

2006-08

Abstract

Artificial Intelligence (incl. Robotics)

Symbolic and Algebraic Manipulation

Mathematical Logic and Foundations

Computer Science

Mathematical Logic and Formal Languages

14 Record Views

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.183 Transportation; 4.183.2127 Train Scheduling
Web Of Science research areas: Computer Science, Artificial Intelligence
ESI research areas: Computer Science

This output has contributed to the advancement of the following goals:

Source: InCites

Title: Empirically Successful Automated Reasoning: Applications Issue
Creators: Bernd Fischer - University of Southampton Southampton England
Geoff Sutcliffe - University of Miami Coral Gables USA
Stephan Schulz - Technische Universität München München Germany
Publication Details: Journal of automated reasoning, Vol.37(1), pp.1-1
Publisher: Kluwer Academic Publishers
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031598339602976