Afbeelding 1 van 1
Afbeelding 1 van 1
Artificial Intelligence and Symbolic Mathematical Computation: International Con
US $65,99
OngeveerEUR 59,22
Objectstaat:
Nieuw
Een nieuw, ongelezen en ongebruikt boek in perfecte staat waarin geen bladzijden ontbreken of beschadigd zijn. Bekijk de aanbieding van de verkoper voor de volledige details.
3 beschikbaar
Verzendkosten:
Gratis Economy Shipping.
Bevindt zich in: Fairfield, Ohio, Verenigde Staten
Levering:
Geschatte levering tussen ma, 7 okt en za, 12 okt tot 43230
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending.
Betalingen:
Winkel met vertrouwen
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:395163463566
Specificaties
- Objectstaat
- 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
Over dit 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
Objectbeschrijving van de verkoper
Informatie van zakelijke verkoper
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.
Populaire rubrieken in deze winkel
Ingeschreven als zakelijke verkoper
Feedback verkoper (1.032.623)
- c***c (688)- Feedback gegeven door koper.Afgelopen maandGeverifieerde aankoopgreat packaging!
- b***9 (1789)- Feedback gegeven door koper.Afgelopen maandGeverifieerde aankoopSellers eBay ad for this item was honest & accurate 💯% a five star Seller, thanks !
- l***t (107)- Feedback gegeven door koper.Afgelopen maandGeverifieerde aankoopDankeschön, war preiswerter als in Deutschland.