Leitsch Alexander (102 results)
Language: English
Published by Springer-Verlag, Berlin, Heidelberg, New York 1993
- Softcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Very good
£ 15.00
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Paperback in very good condition. From the offices of Bell Northern Europe. Lecture Notes in Computer Science; 713. Minor shelfwear to the cover. Label on inside front cover; stamp on half title page. The binding is sound with clear content throughout. CM. Used.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
£ 32.66
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
£ 35.51
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
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 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: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 45.30
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 51.30
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 51.57
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 51.68
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, , GermanyUniversitätsbuchhandlung Herta Hold GmbH
Contact seller4-star sellerCondition: Used
£ 27.69
£ 26.02 shippingShips from Germany to U.S.A.Quantity: 1 available
2004th ed. 17 x 24 cm. 352 pages. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
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.32
£ 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.46
£ 30.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 45.68
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 45.67
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 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.
- 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.
- 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.
- Softcover
Seller: Antiquariat Bernhardt, Kassel, GermanyAntiquariat Bernhardt
Contact seller5-star sellerCondition: Used - Fine
£ 20.60
£ 43.27 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert Broschiert. Condition: Sehr gut. XV, 708 Seiten, Lecture Notes in Artificial Intelligence, Band 2083. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener… Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 1030.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.01
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.81
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.16
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 49.88
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.79
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 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: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 69.16
£ 3.02 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 316.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.73
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 67.73
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1997 edition. 348 pages. 9.00x6.00x0.75 inches. In Stock.
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.48 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.77
£ 54.12 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.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.77
£ 54.42 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 submitted papers.…Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.77
£ 54.48 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. The aim of this meeting wastobring together research…ers working in the fields ofcomputational logic and proof theory. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science. In both disciplines methods were inventedwhich arecrucial to one another. This volume contains theproceedings of the symposium. It contains contributions by36 authors from 10 different countries. In addition to 10invited papers there are 26 contributed papers selected fromover 50 submissions.
- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
£ 101.67
£ 5.25 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
