Restoree by Anne Mccaffrey
The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. The challenge of this course (a total of five two-hour lectures) con- sisted in the selection of the topics to be presented. Clearly the first selection has already been made by calling the course resolution theorem proving instead of automated deduction . In the latter discipline a remarkable body of knowledge has been created during the last 35 years, which hardly can be presented exhaustively, deeply and uniformly at the same time. In this situ- ation one has to make a choice between a survey and a detailed presentation with a more limited scope. The author decided for the second alternative, but does not suggest that the other is less valuable. Today resolution is only one among several calculi in computational logic and automated reasoning. How- ever, this does not imply that resolution is no longer up to date or its potential exhausted. Indeed the loss of the monopoly is compensated by new appli- cations and new points of view. It was the purpose of the course mentioned above to present such new developments of resolution theory. Thus besides the traditional topics of completeness of refinements and redundancy, aspects of termination (resolution decision procedures) and of complexity are treated on an equal basis.
Anne McCaffrey, one of the world's most popular authors, is best known for her Dragonriders of Pern(R) series. She was the first woman to win the two top prizes for science fiction writing, the Hugo and Nebula awards. She was also given the American Library Association's Margaret A. Edwards Award for Lifetime Literary Achievement in Young Adult Fiction, was inducted into the Science Fiction Hall of Fame, and was named a Science Fiction Writers of America Nebula Grand Master. Born in Cambridge, Massachusetts, in 1926, McCaffrey relocated to Ireland in the 1970s, where she lived in a house of her own design, named Dragonhold-Underhill. She died in 2011.
Elizabeth Ann Scarborough, winner of the Nebula Award for her novel The Healer's War, is the author of numerous fantasy novels. She has co-authored eight other novels with Anne McCaffrey. She lives on the Olympic Peninsula in Washington State.
Elizabeth Ann Scarborough, winner of the Nebula Award for her novel The Healer's War, is the author of numerous fantasy novels. She has co-authored eight other novels with Anne McCaffrey. She lives on the Olympic Peninsula in Washington State.
| SKU | Unavailable |
| ISBN 13 | 9780345351876 |
| ISBN 10 | 0345351878 |
| Title | Restoree |
| Author | Anne Mccaffrey |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Random House USA Inc |
| Year published | 1987-07-12 |
| Number of pages | 256 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |