Resolution Calculus by Leitsch Alexander (16 results)
Language: English
Published by Springer 1996
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, , GermanyWissenschaftl. Antiquariat Th. Haker e.K
Contact seller5-star sellerCondition: Used - Fine
£ 10.18
£ 31.01 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. 308 p. In very good condition. ISBN: 9783540618829 Sprache: Englisch Gewicht in Gramm: 576 17,1 x 1,9 x 24,8 cm, hardcover.
Language: English
Published by Springer Verlag, Secaucus, New Jersey, U.S.A. 1997
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Defunct Books, Nashville, TN, U.S.A.Defunct Books
Contact seller5-star sellerCondition: Used - Very good
£ 53.33
£ 3.77 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. Pictorial boards hvae edge wear, minor scratches, rubbed corners/spine. No writing. Very good.
Language: English
Published by Springer 1997
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: StainesBook, Weybridge, SURRE, United KingdomStainesBook
Contact seller1-star sellerCondition: New
£ 26.47
£ 30.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New.
Language: English
Published by Springer 2011
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer 2011
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 69.17
£ 3.02 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 316.
Language: English
Published by Springer Berlin Heidelberg 2011
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
£ 42.19
£ 42.49 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer Berlin Heidelberg 2011
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.78
£ 54.13 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
More imagesLanguage: English
Published by Springer 2011
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.98
£ 60.71 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. The Resolution Calculus | Alexander Leitsch | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | viii | Englisch | 2011 | Springer | EAN 9783642644733 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[d…ot]com | Anbieter: preigu.
Language: English
Published by Springer Berlin 1997
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Buchpark, Trebbin, , GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 14.26
£ 91.06 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 308 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Language: English
Published by Springer 2011
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 84.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Springer 1997
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 86.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. Like New. book.
Language: English
Published by Springer 2011
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller3-star sellerCondition: New
£ 41.29
£ 4.77 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer Berlin Heidelberg Sep 2011 2011
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.78
£ 19.95 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 t…wo-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. 316 pp. Englisch.
Language: English
Published by Springer 2011
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 68.86
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 316 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Language: English
Published by Springer 2011
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 71.23
£ 8.63 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 316.
Language: English
Published by Springer, Springer Gabler Sep 2011 2011
Series: Texts in Theoretical Computer Science. An EATCS, Book 4 of 45. Book 4 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.78
£ 52.04 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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-h…our 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 316 pp. Englisch.
