Order Total (1 Item Items):
Shipping Destination:
Artificial Intelligence Automated Reasoning (88 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (88)
- 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 (61)
- As New, Fine or Near Fine (12)
- 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 (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (18)
- Not Print on Demand (81)
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. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.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].
-
paperback. Condition: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.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.
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.0387582169 Ex-library paperback in very nice condition with the usual markings and attachments.
-
-
-
-
Condition: As New. Unread book in perfect condition.
-
-
-
-
-
-
-
-
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
Broschiert. Condition: Sehr gut. Lecture Notes in Artificial Intelligence, Band 3097. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 491 Seiten, Englisch 754g.
-
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008, Proceedings (Lecture Notes in Artificial Intelligence, Band 5195).
Published by Berlin, Heidelberg: Springer-Verlag, 2008
ISBN 10: 3540710698 ISBN 13: 9783540710691
Language: English
Broschiert. Condition: Gut. Lecture Notes in Artificial Intelligence, Band 5195. Zust: Gutes Exemplar. Cover und einige Seiten mit Knicken. Mit Vorbesitzereintrag. XII, 556 Seiten, Englisch 842g.
-
-
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.
-
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Artificial Intelligence)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 52.63
US$ 15.65 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: 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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 52.63
US$ 15.65 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
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
Broschiert. Condition: Sehr gut. Lecture Notes in Artificial Intelligence, Band 2083. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XV, 708 Seiten, Englisch 1030g.
-
Condition: As New. Unread book in perfect condition.
