BibSonomy :: publication ::

tag user group author concept BibTeX key search:all search:diego_ma

The blue social bookmark and publication sharing system.

entry of diego_ma:

(0)

This publication has not been reviewed yet.

rating distribution

average user rating

The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.

(0.0 of 5.0 based on 0 reviews)

Automated Reasoning with OTTER

by: John A. Kalman

Paramus, NJ: Rinton Press (2001) .

Abstract

Automating reasoning has been described as ``one of the most exciting and potentially fruitful areas of research that there has ever been.'' This book provides you with the means: a powerful reasoning program called Otter, currently in use to answer diverse and deep questions in mathematics and logic. The volume presents an intriguing and thorough treatment of automated reasoning and Otter -- through numerous examples, exercises, and challenging questions. No background is needed. The early chapters lead you through Otter's fundamental operations and show you how to present questions and problems to Otter, beginning with simple puzzles. Numerous input files and proofs are provided, so you can experiment and play with problems. Gradually, more challenging applications are introduced, and more powerful strategies discussed -- strategies that are crucial to Otter's power and impressive list of successes.

BibTeX record

@book{Kalman:2001,
  abstract = {Automating reasoning has been described as ``one of the most exciting and potentially fruitful areas of research that there has ever been.'' This book provides you with the means: a powerful reasoning program called Otter, currently in use to answer diverse and deep questions in mathematics and logic. The volume presents an intriguing and thorough treatment of automated reasoning and Otter -- through numerous examples, exercises, and challenging questions. No background is needed. The early chapters lead you through Otter's fundamental operations and show you how to present questions and problems to Otter, beginning with simple puzzles. Numerous input files and proofs are provided, so you can experiment and play with problems. Gradually, more challenging applications are introduced, and more powerful strategies discussed -- strategies that are crucial to Otter's power and impressive list of successes.},
  added-at = {2007-12-14T02:41:18.000+0100},
  address = {Paramus, NJ},
  author = {Kalman, John A.},
  biburl = {http://www.bibsonomy.org/bibtex/213aa892455ef9ee8e5c517679b4f835f/diego_ma},
  interhash = {bb5fac968c04352cda82195cdcbec921},
  intrahash = {13aa892455ef9ee8e5c517679b4f835f},
  keywords = {logic},
  publisher = {Rinton Press},
  timestamp = {2007-12-14T02:41:18.000+0100},
  title = {Automated Reasoning with OTTER},
  year = 2001
}

Endnote record

%0 Book
%1 Kalman:2001
%A Kalman, John A.
%C Paramus, NJ
%D 2001
%I Rinton Press
%K 
%T Automated Reasoning with OTTER
%X Automating reasoning has been described as ``one of the most exciting and potentially fruitful areas of research that there has ever been.'' This book provides you with the means: a powerful reasoning program called Otter, currently in use to answer diverse and deep questions in mathematics and logic. The volume presents an intriguing and thorough treatment of automated reasoning and Otter -- through numerous examples, exercises, and challenging questions. No background is needed. The early chapters lead you through Otter's fundamental operations and show you how to present questions and problems to Otter, beginning with simple puzzles. Numerous input files and proofs are provided, so you can experiment and play with problems. Gradually, more challenging applications are introduced, and more powerful strategies discussed -- strategies that are crucial to Otter's power and impressive list of successes.