Artificial Intelligence and Symbolic Mathematical Computation -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre89,06 €
Produit Neuf
Ou 22,27 € /mois
- Livraison à 0,01 €
- Livré entre le 31 juillet et le 12 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540617327_dbm
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Artificial Intelligence And Symbolic Mathematical Computation Format Broché - Livre Littérature Générale
0 avis sur Artificial Intelligence And Symbolic Mathematical Computation Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Poetry In Stitches - Clothes You Can Knit
Occasion dès 50,00 €
-
The Hobbit And The Lord Of The Rings
Occasion dès 45,91 €
-
Critical Phenomena In Natural Sciences
Neuf dès 118,50 €
Occasion dès 55,21 €
-
Back In The Days
1 avis
Occasion dès 55,61 €
-
English Vocabulary Organiser
1 avis
Neuf dès 64,51 €
Occasion dès 47,21 €
-
Paula Rego
Occasion dès 61,25 €
-
Rivstart A1 + A2 Textbok
Occasion dès 55,22 €
-
Vivian Maier - Photographin
Occasion dès 45,75 €
-
Iconic Roland-Garros - Livre Officiel
1 avis
Neuf dès 59,50 €
Occasion dès 47,48 €
-
Principles Of Sustainable Finance
Neuf dès 134,83 €
Occasion dès 59,11 €
-
Colloquial Ukrainian
Occasion dès 46,42 €
-
How Children Develop
Neuf dès 113,65 €
Occasion dès 83,91 €
-
Hiroshi Sugimoto
Occasion dès 64,01 €
-
Methoden Steuerrechtlicher Entscheidungsfindung
Occasion dès 50,00 €
-
Anatomy Of The Horse
Neuf dès 109,61 €
Occasion dès 66,18 €
-
Bovine Anatomy
Neuf dès 109,20 €
Occasion dès 84,16 €
-
Die Luther-Bibel Von 1534
Neuf dès 60,00 €
Occasion dès 50,73 €
-
Nicolas Roerich. La Vie Et L'oeuvre D'un Maitre Russe
2 avis
Occasion dès 50,00 €
-
The Wall Paintings Of Thera
1 avis
Occasion dès 68,42 €
-
Three-Body Problem Boxed Set
Neuf dès 45,95 €
Occasion dès 44,95 €
Produits similaires
Présentation Artificial Intelligence And Symbolic Mathematical Computation Format Broché
- Livre Littérature Générale
Résumé :
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.
Sommaire:
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.
Détails de conformité du produit
Personne responsable dans l'UE