Produktnummer:
189c5f4ed7c8264be8a832c6579c8b8504
| Themengebiete: | Adaptive Algorithms Adaptive Algortihmen Computer Algebra Computeralgebra Regelbasiertes Schließen Rule-Based Reasoning Symbolic Computation Theorem Proving artificial intelligence intelligence |
|---|---|
| Veröffentlichungsdatum: | 10.08.1995 |
| EAN: | 9783540601562 |
| Sprache: | Englisch |
| Seitenzahl: | 281 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Calmet, Jacques Campbell, John A. |
| Verlag: | Springer Berlin |
| Untertitel: | Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers |
Produktinformationen "Integrating Symbolic Mathematical Computation and Artificial Intelligence"
This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994.The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics that can further unify the field.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen