Gesamtpreis (1 Artikel Artikel):
Versandziel:
automated reasoning (260 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (260)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (200)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (20)
- Gut oder Befriedigend (28)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (12)
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (111)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Automated Reasoning and Its Applications : Essays in Honor of Larry Wos
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Automated reasoning: Introduction and applications
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, Tableaux 2002, Copenhagen, Denmark, July 30-August 1, 2002, Proceedings
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2002
ISBN 10: 3540439293 ISBN 13: 9783540439295
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Automated Reasoning: 33 Basic Research Problems.
Anbieter: G. & J. CHESTERS, TAMWORTH, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 7,33
EUR 8,17 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: Very Good. pp.x, 374 pages a very good paperback, [013054552X].
-
Automated Reasoning : Thirty-Three Basic Research Problems
Sprache: Englisch
Verlag: Pearson Education, Limited, 1988
ISBN 10: 013054552X ISBN 13: 9780130545527
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 12,03
EUR 5,84 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
-
Nonstandard Logics for Automated Reasoning
Anbieter: Sell Books, Elland, YORKS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 6,20
EUR 14,19 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Good. Our good condition books are generally good for reading but not for gifting or collecting. They could have imperfections such as creasing, fanning, inscriptions, margin notes, yellowing, staining on edge or cover or pages, bumps, scuffs, etc etc (sometimes multiple of these). It's a wide category that encompasses anything that isn't almost-new down to anything that is slightly better than poor. We would NOT recommend gifting Good books - these should be considered reading copies. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only.
-
Nonstandard Logics for Automated Reasoning
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 6,62
EUR 15,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:0126495203.
-
Non-Standard Logics for Automated Reasoning
Anbieter: True Oak Books, Highland, NY, USA
Verbandsmitglied: IOBA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good-. Zustand des Schutzumschlags: No Dust Jacket. Very light foxing to edge of pages. - Great overall condition. Minor cosmetic wear. No noteworthy blemishes. No writing. ; - We're committed to your satisfaction. We offer free returns and respond promptly to all inquiries. Your item will be carefully wrapped in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Sprache: Englisch
Verlag: Springer Verlag, Berlin Heidelberg New York, 2002
ISBN 10: 3540438653 ISBN 13: 9783540438656
Anbieter: Antiquariat WIE, Lollar, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Befriedigend. Zustand des Schutzumschlags: Nein. Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille France July 2002. Gebrauchsspuren, 341 Seiten. Nein.
-
Automated Reasoning
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 31,48
EUR 7,59 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 574 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27â"29, . (Lecture Notes in Artificial Intelligence)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Very Good.
-
Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, . Logic and Cognitive Systems)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 28,85
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated Reasoning with Analytic Tableaux and Related Methods. 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings.
Sprache: Englisch
Verlag: Berlin/ Heidelberg, Springer Berlin., 2007
ISBN 10: 3540730982 ISBN 13: 9783540730989
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 4 von 5 Sternen
2007. 16 x 24 cm. X, 250 S. X, 250 p. softcover 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. (Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence). Sprache: Englisch.
-
Automated Reasoning with Analytic Tableaux and Related Methods : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 2005, Proceedings
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2005
ISBN 10: 3540289313 ISBN 13: 9783540289319
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Many-Valued Logics 2 : Automated Reasoning and Practical Applications
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2003
ISBN 10: 3540645071 ISBN 13: 9783540645078
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Zustand: Very Good. 1st Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Automated Reasoning and Its Applications: Essays in Honor of Larry Wos.
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: as new. Cambridge, MA: The MIT Press, 1997. Hardcover. Dustjacket. 257 pp.- The primary objective of automated reasoning (which includes automated deduction and automated theorem proving) is to develop computer programs that use logical reasoning for the solution of a wide variety of problems, including open questions. The essays in Automated Reasoning and Its Applications were written in honor of Larry Wos, one of the founders of the field. Wos played a central role in forming the "culture" of automated reasoning at Argonne National Laboratory. He and his colleagues consistently seek to build systems that search huge spaces for solutions to difficult problems and proofs of significant theorems. They have had numerous notable successes.The contributors are among the world's leading researchers in automated reasoning. Their essays cover the theory, software system design, and use of these systems to solve real problems.Contributors : Robert S. Boyer, Shang-Ching Chou, Xiao-Shan Gao, Lawrence Henschen, Deepak Kapur, Kenneth Kunen, Ewing Lusk, William McCune, J Strother Moore, Ross Overbeek, Lawrence C. Paulson, Hantao Zhang, Jing-Zhong Zhang. English text. Condition : as new. Condition : as new copy. ISBN 9780262220552. Keywords : ,
-
Automated Reasoning With Analytic Tableaux And Related
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Buch 68 von 83: Texts in Computer ScienceAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 36,47
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Buch 68 von 83: Texts in Computer ScienceAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 36,47
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated Reasoning with Analytic Tableaux and Related Methods
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 47,26
EUR 7,59 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. xiii + 343 Illus.
-
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, . (Lecture Notes in Computer Science, 6186)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 194 pp., Paperback, brand new! still in shrink wrap. - 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.
-
Automated Reasoning with Analytic Tableaux and Related Methods
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. xiii + 343.
-
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 48,79
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, ... (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 48,79
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Buch 68 von 83: Texts in Computer ScienceAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 55,42
EUR 7,59 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Causal Inferences and Abductive Reasoning: Between Automated Data Mining and Latent Constructs
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 200 pp., paperback, new. - 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.
-
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Buch 68 von 83: Texts in Computer ScienceAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 59,00
EUR 7,59 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Logic Programming And Automated Reasoning: International Conference Lpar *92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (lecture Notes In Artificial Intelligence 624)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, ... (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,94
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,94
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
