Photo 1 sur 1
Advances in the Design of Symbolic Computation Systems par Alfonso Miola (anglais)
État :
3 disponibles
Expédition :
Lieu : Fairfield, Ohio, États-Unis
Livraison :
Livraison prévue entre le ven. 14 juin et le mer. 26 juin à 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,2% d'évaluations positives
Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :364686928305
Dernière mise à jour : mai 19, 2024 09:38:26 HAEAfficher toutes les modificationsAfficher toutes les modifications
Caractéristiques de l'objet
- État
- ISBN-13
- 9783211828441
- Book Title
- Advances in the Design of Symbolic Computation Systems
- ISBN
- 9783211828441
- Publication Year
- 1997
- Series
- Texts and Monographs in Symbolic Computation Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- Advances in the Design of Symbolic Computation Systems
- Item Length
- 9.3in
- Publisher
- Springer
- Item Width
- 6.1in
- Item Weight
- 30.3 Oz
- Number of Pages
- X, 276 Pages
À propos de ce produit
Product Information
New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods à la Hilbert and methods of natural deduction. In particular the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues, and reasoning capabilities supported by the whole framework are described.
Product Identifiers
Publisher
Springer
ISBN-10
3211828443
ISBN-13
9783211828441
eBay Product ID (ePID)
718129
Product Key Features
Publication Name
Advances in the Design of Symbolic Computation Systems
Format
Trade Paperback
Language
English
Publication Year
1997
Series
Texts and Monographs in Symbolic Computation Ser.
Type
Textbook
Number of Pages
X, 276 Pages
Dimensions
Item Length
9.3in
Item Width
6.1in
Item Weight
30.3 Oz
Additional Product Features
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Table of Content
State of the art and motivations.- Mathematica: doing mathematics by computer'.- An overview of the TASSO project.- Mathematical objects.- The uniform representation of mathematical objects by truncated power series.- p-adic arithmetic: a tool for error-free computations.- Exact solution of computational problems via parallel truncated p-adic arithmetic.- A canonical form guide to symbolic summation.- Indexes in sums and series: from formal definition to object-oriented implementation.- Programming methodologies.- Equational specifications: design, implementation, and reasoning.- On the algebraic specification of classes and inheritance in object-oriented programming.- On subtyping in languages for symbolic computation systems.- Enhanced strict inheritance in TASSO-L.- Reasoning capabilities.- Deduction and abduction using a sequent calculus.- A sequent calculus machine for symbolic computation systems.- Automated deduction by connection method in an object-oriented environment.- A general reasoning apparatus for intelligent tutoring systems in mathematics.
Copyright Date
1997
Topic
Software Development & Engineering / General, Sociology / General, Computer Science, Compilers
Lccn
97-008929
Dewey Decimal
004.2/1
Intended Audience
Scholarly & Professional
Dewey Edition
21
Illustrated
Yes
Genre
Computers, Social Science
Description de l'objet du vendeur
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :364686928305
Dernière mise à jour : mai 19, 2024 09:38:26 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 ven. 14 juin et le mer. 26 juin à 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 (364686928305)
Taxe de vente pour cet objet (364686928305)
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 023 946)
a***n (144)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Thank you.
e***r (1634)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Thank you! Excellent seller!
8***1 (5)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Package arrived ahead of estimated, book as stated. Thank you.