Empirically Successful Automated Reasoning: Systems Issue

Journal article

Peer reviewed

Bernd Fischer, Geoff Sutcliffe and Stephan Schulz

Journal of automated reasoning, Vol.36(4), pp.287-287

2006-04

Abstract

Artificial Intelligence (incl. Robotics)

Symbolic and Algebraic Manipulation

Mathematical Logic and Foundations

Computer Science

Mathematical Logic and Formal Languages

11 Record Views

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

Source: InCites

Title: Empirically Successful Automated Reasoning: Systems 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.36(4), pp.287-287
Publisher: Springer Netherlands
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031598303602976