Picture 1 of 1
Picture 1 of 1
Artificial Intelligence and Symbolic Mathematical Computation: International Con
US $65.99
ApproximatelyC $89.58
Condition:
Brand New
A new, unread, unused book in perfect condition with no missing or damaged pages. See the seller’s listing for full details.
3 available
Shipping:
Free Economy Shipping.
Located in: Fairfield, Ohio, United States
Delivery:
Estimated between Mon, Oct 7 and Sat, Oct 12 to 43230
Returns:
30 days return. Buyer pays for return shipping.
Payments:
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:395163463566
Item specifics
- Condition
- ISBN-13
- 9783540617327
- Book Title
- Artificial Intelligence and Symbolic Mathematical Computation
- ISBN
- 9783540617327
- Subject Area
- Mathematics, Computers
- Publication Name
- Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
- Publisher
- Springer Berlin / Heidelberg
- Item Length
- 9.3 in
- Subject
- Intelligence (Ai) & Semantics, Computer Science, Algebra / General, Logic
- Publication Year
- 1996
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Weight
- 43 Oz
- Item Width
- 6.1 in
- Number of Pages
- VIII, 384 Pages
About this product
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540617329
ISBN-13
9783540617327
eBay Product ID (ePID)
664828
Product Key Features
Number of Pages
VIII, 384 Pages
Publication Name
Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
Language
English
Publication Year
1996
Subject
Intelligence (Ai) & Semantics, Computer Science, Algebra / General, Logic
Type
Textbook
Subject Area
Mathematics, Computers
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback
Dimensions
Item Weight
43 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
96-041752
Dewey Edition
20
Series Volume Number
1138
Number of Volumes
1 vol.
Illustrated
Yes
Volume Number
Vol. 113
Dewey Decimal
006.3/01/5113
Table Of Content
Symbolic computation and teaching.- Analytica -- An experiment in combining theorem proving and symbolic computation.- Document recognition, semantics, and symbolic reasoning in reverse engineering of software.- Compromised updates in labelled databases.- An inference engine for propositional two-valued logic based on the radical membership problem.- Programming by demonstration: A machine learning approach to support skill acquision for robots.- Knowledge-based information processing in manufacturing cells -- The present and the future.- Calculi for qualitative spatial reasoning.- Combining local consistency, symbolic rewriting and interval methods.- Proof transformation for non-compatible rewriting.- PATCH Graphs: An efficient data structure for completion of finitely presented groups.- Measuring the likely effectiveness of strategies.- A new approach on solving 3-satisfiability.- Geometry machines: From AI to SMC.- Interactive Theorem Proving and finite projective planes.- Towards modelling the topology of homogeneous manifolds by means of symbolic computation.- Solving geometrical constraint systems using CLP based on linear constraint solver.- Towards a sheaf semantics for cooperating agents scenarios.- Data types in subdefinite models.- On theorem-proving in Horn theories with built-in algebras.- Backward reasoning in systems with cut.- Soundness and completeness versus lifting property.- Reasoning with preorders and dynamic sorts using free variable tableaux.
Synopsis
This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996. The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction.
LC Classification Number
Q334-342
Item description from the seller
Seller feedback (1,032,677)
- h***9 (3094)- Feedback left by buyer.Past 6 monthsVerified purchase🏆 SUPER STAR 🤩 AMAZING PHOTOS 🎯 ACCURATE DESCRIPTION ✏️ GENUINE PRODUCTS 💎 HIGH QUALITY 🍯 SUPER PRICES 💰 EASY TO WORK WITH 🍰 ECONOMY HANDLING ⏱️ FAST SHIPPING 🚀 BUBBLE PACKAGE 📦 ARRIVED WITHIN DAYS 🌎 EXCEPTIONAL COMMUNICATION 🎙️ OUTSTANDING CUSTOMER SERVICE 🛎️ GREAT SENSE OF HUMOR 🍿 TOTAL ASSET TO THE EBAY-ECO SYSTEM 🥇 SAVED SELLER 🎱 PROMT REPLY FOR RETURNS 🎯 WOULD BUY FROM AGAIN 🧲 UNDER PROMISES OVER DELIVERS ⛳️ MADE ME VERY HAPPY 🌈 LEFT POSITIVE FEEDBACK 🌼 THANK YOU! 😇 A+++The Trespasser's Companion by Nick Hayes (English) Hardcover Book (#395262922488)
- l***a (3590)- Feedback left by buyer.Past 6 monthsVerified purchaseExcellent seller. Great customer service and communication, timely shipping, fair prices, safe packing, as described. Thank you. A+++
- t***n (2906)- Feedback left by buyer.Past monthVerified purchaseI don't give negatives; However, description was not correct; No price guide was included in this book.As you will see in book pic shown; title states price guide included, no price guide inside. Communication poor, description, no communication price guide missing from this book. Shipping time was weeks before it was even shipped. Blamed the shipping on warehouse. You own & operate a business; your warehouse is not up to standards you change who you do business with. It's your responsibility.
Product ratings and reviews
More to explore:
- Mathematics Textbooks,
- Mathematics Textbook Textbooks,
- Mathematics Nonfiction Books in English Fiction & International Edition,
- Mathematics Textbooks in Spanish,
- Mathematics Textbooks in Russian,
- Mathematics Books 1850-1899,
- Mathematics Study Study Guides Prep,
- Mathematics Textbook Hardcover Textbooks,
- Mathematics Antiquarian & Collectible Books in Russian,
- Mathematics Dictionaries & Reference Books