Order Total (1 Item Items):
Shipping Destination:
Artificial Intelligence Automated Reasoning (110 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (110)
- 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 (84)
- As New, Fine or Near Fine (11)
- Very Good or Good (15)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (19)
- Not Print on Demand (104)
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.
-
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$ 110.51
Used offers from US$ 18.99
Also find Softcover
-
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. Ex-library paperback in very nice condition with the usual markings and attachments.
-
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 5 out of 5 stars
paperback. Condition: Very Good.
More buying choices from other sellers on AbeBooks
New offers from US$ 59.02
Used offers from US$ 46.19
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Condition: New. SUPER FAST SHIPPING.
More buying choices from other sellers on AbeBooks
New offers from US$ 54.07
Used offers from US$ 146.50
Also find Softcover
-
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.
-
Condition: New. SUPER FAST SHIPPING.
-
US$ 59.54
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. SUPER FAST SHIPPING.
-
Condition: New. SUPER FAST SHIPPING.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.97
Used offers from US$ 105.59
Also find Softcover
-
Condition: New. SUPER FAST SHIPPING.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.97
Used offers from US$ 94.92
Also find Softcover
-
Condition: New. SUPER FAST SHIPPING.
-
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$ 24.24
Convert currencyUS$ 42.31 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketBroschiert. Condition: Sehr gut. Lecture Notes in Artificial Intelligence, Band 3097. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 491 Seiten, Englisch 754g.
-
Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning (Hardcover)
Published by McGraw-Hill Education, OH, 2023
ISBN 10: 1260467783 ISBN 13: 9781260467789
Language: English
Hardcover. Condition: new. Hardcover. A hands-on introduction to the principles and practices of modern artificial intelligenceThis comprehensive textbook focuses on the core techniques and processes underlying todays artificial intelligence, including algorithms, data structures, logic, automated reasoning, and problem solving. The book contains information about planning and about expert systems.Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning is written in a concise format with a view to optimizing learning. Each chapter contains a brief historical overview, control questions to reinforce important concepts, plus computer assignments and ideas for independent thought. The book includes many visuals to illustrate the essential ideas and many examples to show how to use these ideas in practical implementations.Presented in a concise format to optimize learningIncludes historical overviews, summaries, exercises, thought experiments, and computer assignmentsWritten by a recognized artificial intelligence expert and experienced author Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
More buying choices from other sellers on AbeBooks
New offers from US$ 66.01
Used offers from US$ 75.59
Also find Hardcover First Edition
-
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.95
Convert currencyUS$ 42.31 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketBroschiert. Condition: Sehr gut. Lecture Notes in Artificial Intelligence, Band 2083. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XV, 708 Seiten, Englisch 1030g.
-
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$ 31.63
Convert currencyUS$ 42.31 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketBroschiert. Condition: Sehr gut. Lecture Notes in Artificial Intelligence, Band 6173. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 534 Seiten, Englisch 808g.
-
Condition: New. SUPER FAST SHIPPING.
-
Condition: New. SUPER FAST SHIPPING.
-
Condition: New. SUPER FAST SHIPPING.
-
Condition: New. SUPER FAST SHIPPING.
More buying choices from other sellers on AbeBooks
New offers from US$ 98.62
Used offers from US$ 114.05
Also find Softcover
-
Condition: New. SUPER FAST SHIPPING.
-
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$ 103.65
Convert currencyUS$ 42.31 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketBroschiert. Condition: Sehr gut. Lecture Notes in Artificial Intelligence, Band 4130. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XV, 680 Seiten, Englisch 958g.
