Photo 1 sur 1
Intelligence artificielle et calcul mathématique symbolique : inconvénients internationaux
État :
3 disponibles
Expédition :
Lieu : Fairfield, Ohio, États-Unis
Livraison :
Livraison prévue entre le mar. 9 juil. et le ven. 19 juil. à 43230
Renvois :
Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois
Paiements :
Magasinez en toute confiance
Informations sur le vendeur
- 98,3% d'évaluations positives
Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :395163463566
Dernière mise à jour : mai 19, 2024 06:35:50 HAEAfficher toutes les modificationsAfficher toutes les modifications
Caractéristiques de l'objet
- État
- ISBN-13
- 9783540617327
- Book Title
- Artificial Intelligence and Symbolic Mathematical Computation
- ISBN
- 9783540617327
- Subject Area
- Computers, Mathematics
- 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
- Computer Science, Intelligence (Ai) & Semantics, 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
À propos de ce produit
Product Information
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.
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
Language
English
Publication Name
Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
Publication Year
1996
Subject
Computer Science, Intelligence (Ai) & Semantics, Algebra / General, Logic
Type
Textbook
Subject Area
Computers, Mathematics
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
Lc Classification Number
Q334-342
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.
Copyright Date
1996
Description de l'objet du vendeur
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :395163463566
Dernière mise à jour : mai 19, 2024 06:35:50 HAEAfficher toutes les modificationsAfficher toutes les modifications
Expédition et manutention
Lieu où se trouve l'objet :
Fairfield, Ohio, États-Unis
Expédition :
Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Canada, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guernesey, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mayotte, Mexique, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Nioué, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Sahara occidental, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les Grenadines, Sainte-Hélène, Sainte-Lucie, Salvador, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Somalie, Sri Lanka, Suisse, Suriname, Suède, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Tuvalu, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, Éthiopie, Île Maurice, Îles Caïmans, Îles Cook, Îles Malouines (îles Falkland), Îles Salomon, Îles Turks et Caicos, Îles Vierges britanniques, Îles du Cap-Vert
Lieux exclus :
Adresses militaires ou navales, Alaska/Hawaii, Barbade, Biélorussie, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Panama, Papouasie-Nouvelle-Guinée, Polynésie française, Protectorats des États-Unis, Russie, Réunion, Samoa, Ukraine, Venezuela
Expédition et manutention | Chaque objet supplémentaire | À | Service | Livraison*Voir les remarques sur la livraison |
---|---|---|---|---|
Expédition sans frais | Sans frais | États-Unis | Economy Shipping | Livraison prévue entre le mar. 9 juil. et le ven. 19 juil. à 43230 |
Délai de manutention |
---|
Expédition dans les 10 jours ouvrables après réception du paiement. |
Taxes |
---|
Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay. |
Taxe de vente pour cet objet (395163463566)
Taxe de vente pour cet objet (395163463566)
Le vendeur facture une taxe de vente pour les États suivants :
État | Taux de la taxe de vente |
---|
Modalités de renvoi
Après réception de l'objet, contactez le vendeur dans un délai de | Mode de remboursement |
---|---|
30 jours | Remboursement |
Les frais d'expédition du renvoi sont à la charge de l'acheteur.
Détails du paiement
Modes de paiement
Évaluations comme vendeur (1 025 540)
l***l (452)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Item was shipped incorrectly but grandeagleretail gave me a refund . Thanks for the GREAT customer service. Sorry it worked out this was,but again great customer service. Thanks!
e***l (1471)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
AAAAAAAAAAAAAAAAA++++++++++++++++
2***p (1088)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Great job thanks