Leitsch A (15 results)
- Softcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961
Contact seller5-star sellerCondition: Used - Good
US$ 39.34
US$ 4.50 shippingShips within U.S.A.Quantity: 1 available
Condition: Good. 205 pp., softcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.00
US$ 16.03 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 87.38
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 220.
- Softcover
Seller: ralfs-buecherkiste, Herzfelde, MOL, Germanyralfs-buecherkiste
Contact seller5-star sellerCondition: Used - Very good
US$ 10.57
US$ 119.72 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. Condition: Gut. 205 Entscheidungsproblem Ex-Library. Stamped edges. Cover with small damage. Guter Zustand/ Good Ex-Library. Stamped edges. ha1054923 Sprache: Englisch Gewicht in Gramm: 300.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Very good
US$ 44.63
US$ 119.72 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | This volume contains work on the decision problem done inKazan (Russia), Tallinn (Estonia), and Vienna (Austria). Theauthors met several times to discuss and exchange theirresults and finally decided to write this monographtogether. Besides a unified treatme…nt of previouslypublished results there are many new results first presentedin this volume.The monograph opens with an introduction and a chapter onterminology, followed by chapters on:- Semantic clash resolution as decision procedure,- Completeness of ordering refinements,- Semantic tree based resolution variants,- Deciding the class K by an ordering refinement,- A resolution based method for building finite models.A final chapter on applications completes the volume.
- Hardcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 23.49
US$ 79.82 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Die Rotzlöffel-Republik | Vom täglichen Wahnsinn in unseren Kindergärten | Tanja Leitsch (u. a.) | Buch | 232 S. | Deutsch | 2017 | ecoWing | EAN 9783711001337 | Verantwortliche Person für die EU: Red Bull Media House GmbH, Oberst-Lepperdinger-Str. 11-15, 5071 WALS BEI SALZBURG, ÖSTERREICH, info[at]at[dot]r…edbullmediahouse[dot]com | Anbieter: preigu.
- Softcover
- Print on Demand
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 68.36
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 86.94
US$ 8.70 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 220 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 93.35
US$ 11.35 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 220.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 56.81
US$ 55.86 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains work on the decision problem done inKazan (Russia), Tallinn (Estonia), and Vienna (Austria). Theauthors met several times to discuss and exchange theirresults and finally decided to write this mon…ographtogether. Besides a uni.
More images- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.02
US$ 79.82 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Computational Logic and Proof Theory | 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings | Georg Gottlob (u. a.) | Taschenbuch | ix | Englisch | 1997 | Springer | EAN 9783540633853 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 He…idelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
More images- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.02
US$ 79.82 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Computational Logic and Proof Theory | Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings | Georg Gottlob (u. a.) | Taschenbuch | xi | Englisch | 1993 | Springer | EAN 9783540571841 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 6…9121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
More images- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 112.39
US$ 79.82 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Automated Reasoning | First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings | Rajeev Gore (u. a.) | Taschenbuch | xiii | Englisch | 2001 | Springer | EAN 9783540422549 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg,… juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
- Hardcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 176.52
US$ 79.82 shippingShips from Germany to U.S.A.Quantity: 5 available
Buch. Condition: Neu. First-Order Schemata and Inductive Proof Analysis | Alexander Leitsch (u. a.) | Buch | Computer Science Foundations and Applied Logic | x | Englisch | 2026 | Springer | EAN 9783032057402 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]s…pringer[dot]com | Anbieter: preigu Print on Demand.
More images- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 79.86
US$ 79.82 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Firmenkunden - ungenutztes Potenzial für das Privatkundengeschäft? | Stefan Leitsch (u. a.) | Taschenbuch | 104 S. | Deutsch | 2004 | [.] | EAN 9783838679402 | Verantwortliche Person für die EU: Bedey & Thoms Media GmbH, Björn Bedey, Hermannstal 119k, 22119 Hamburg, info[at]diplom[dot]de | Anbieter:…preigu Print on Demand.
