Order Total (1 Item Items):
Shipping Destination:
Artificial Intelligence Automated Reasoning (90 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (90)
- 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
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (15)
- Not Print on Demand (85)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings . / Lecture Notes in Artificial Intelligence 1617)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 323 pp., Paperback, ex library, else text clean and 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.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. 0387569448 Ex-library paperback in very nice condition with the usual markings and attachments.
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings
Published by Springer Verlag, New York., 2002
ISBN 10: 3540438653 ISBN 13: 9783540438656
Language: English
Hardcover. Condition: Very Good. No Jacket. Hardcover, 2002 edition. Library bound Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. LNAI 2385 [341 pages].
More buying choices from other sellers on AbeBooks
New offers from US$ 63.52
Used offers from US$ 20.50
-
paperback. Condition: Very Good. Fast Shipping - Safe and Secure 7 days a week!
More buying choices from other sellers on AbeBooks
New offers from US$ 112.16
Used offers from US$ 32.14
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Artificial Intelligence, Band 3097).
Published by Berlin, Heidelberg: Springer-Verlag, 2004
ISBN 10: 3540223452 ISBN 13: 9783540223450
Language: English
US$ 5.87
Convert currencyUS$ 40.95 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketBroschiert. Lecture Notes in Artificial Intelligence, Band 3097. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 491 Seiten, Englisch 754g.
-
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18â"21, . (Lecture Notes in Artificial Intelligence)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good.
More buying choices from other sellers on AbeBooks
New offers from US$ 71.90
Used offers from US$ 47.06
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. 0387582169 Ex-library paperback in very nice condition with the usual markings and attachments.
-
US$ 54.37
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 54.37
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 55.34
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 59.54
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 60.00
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.99
Used offers from US$ 102.19
Also find Softcover
-
US$ 60.00
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 60.00
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 60.29
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 64.28
Used offers from US$ 91.86
Also find Softcover
-
US$ 62.62
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 65.26
Used offers from US$ 75.02
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Artificial Intelligence, Band 2083).
Published by Berlin, Heidelberg: Springer-Verlag, 2001
ISBN 10: 3540422544 ISBN 13: 9783540422549
Language: English
US$ 27.05
Convert currencyUS$ 40.95 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketBroschiert. Lecture Notes in Artificial Intelligence, Band 2083. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XV, 708 Seiten, Englisch 1030g.
-
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I (Lecture Notes in Artificial Intelligence)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 55.83
Convert currencyUS$ 16.07 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: 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: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings (Lecture Notes in Artificial Intelligence, Band 6173).
Published by Berlin, Heidelberg: Springer-Verlag, 2010
ISBN 10: 3642142028 ISBN 13: 9783642142024
Language: English
US$ 30.63
Convert currencyUS$ 40.95 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketBroschiert. Lecture Notes in Artificial Intelligence, Band 6173. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 534 Seiten, Englisch 808g.
-
US$ 75.06
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 85.86
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 87.26
Convert currencyUS$ 16.07 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 96.21
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 96.49
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 100.48
Used offers from US$ 107.81
Also find Softcover
-
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Artificial Intelligence, Band 4130).
Published by Berlin, Heidelberg: Springer-Verlag, 2006
ISBN 10: 3540371877 ISBN 13: 9783540371878
Language: English
US$ 100.31
Convert currencyUS$ 40.95 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketBroschiert. Lecture Notes in Artificial Intelligence, Band 4130. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XV, 680 Seiten, Englisch 958g.
