Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.

Handbook of Automated Reasoning

The Handbook of Automated Reasoning (ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect… Expand
  • table 1
Highly Cited
2009
Highly Cited
2009
Session 1. Invited Talk.- Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program… Expand
2007
2007
Multi-tier applications are traditionally designed in the style of a client-server architecture, forcing different parts of the… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.4
  • figure 1.5
  • figure 1.6
2006
2006
In this paper we present a method of integrating theory reasoning into the instantiation framework. This integration is done in… Expand
2004
2004
We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the… Expand
2003
2003
Bleed-fast, dyed cellulosics particularly absorbent papers have been obtained with a particular class of water-soluble, cationic… Expand
  • figure 5.5
Review
2001
Review
2001
Part I. History Chapter 1. The Early History of Automated Deduction (Martin Davis). 1. Presburger's Procedure. 2. Newell, Shaw… Expand
Review
2001
Review
2001
From the Publisher: Automated reasoning has matured into one of the most advanced areas of computer science. It is used in many… Expand
Highly Cited
2001
Highly Cited
2001
Highly Cited
2001