Order Total (1 Item Items):
Shipping Destination:
Leitsch a (16 results)
Author:
leitsch a
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (16)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (11)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (9)
- Not Print on Demand (12)
Language (3)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Resolution Methods for the Decision Problem (Lecture Notes in Computer Science, 679)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. pp. 220.
-
Resolution Methods for the Decision Problem (Lecture Notes in Computer Science 679)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, May 18 (sale item)* 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. 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.
-
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, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
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 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
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 treatment 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.
-
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.
-
Zwyciestwo pod Wiedniem 1683 = Der Sieg bei Wien 1683.
Language: Polish
Published by Warszawa : Wydawnictwa Szkolne i Pedagogiczne / Wien : Österreichischer Bundesverlag, 1983
ISBN 10: 3215045737 ISBN 13: 9783215045738
gebundene Ausgabe. 186 S. mit Ill. / Schutzumschlag rissig, berieben u. bestaubt // Türkenkriege, Geschichte, Historische Hilfswissenschaften, [sechzehnhundertdreiundachtzig] SL09 9783215045738 *.* pl Gewicht in Gramm: 530.
-
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]redbullmediahouse[dot]com | Anbieter: preigu.
-
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: Dryas Verlag, ein Imprint der Bedey und Thoms Media GmbH, Hermannstal 119k, 22119 Hamburg, kontakt[at]dryas[dot]de | Anbieter: preigu.
-
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.
-
Condition: New. PRINT ON DEMAND pp. 220.
-
Resolution Methods for the Decision Problem
Language: English
Published by Springer Berlin Heidelberg, 1993
ISBN 10: 3540567321 ISBN 13: 9783540567325
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 monographtogether. Besides a uni.
-
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]springer[dot]com | Anbieter: preigu Print on Demand.
