
EAN: 9783642026133

Bilder-Quelle: discount24.de - Sport-Freizeit
As computers and communications technology advance greater opportunities arise for intelligent mathematical computation. While computer algebra au- mated deduction and mathematical publishing each have long and successful histories we are now seeing increasing opportunities for synergy among them. The Conferences on Intelligent Computer Mathematics (cicm 2009) is a c- lection of co-located meetings allowing researchers and practitioners active in these related areas to share recent results and identify the next challenges. The speci?c areas of the cicm conferences and workshops are described below but the unifying theme is the computerized handling of mathematical knowledge. The successful formalization of much of mathematics as well as a better - derstanding of its internal structure makes mathematical knowledge in many waysmore tractable than generalknowledge as traditionally treatedin arti?cial intelligence. Similarly we can also expect the problem of e?ectively using ma- ematical knowledge in automated ways to be much more tractable. This is the goal of the work in the cicm conferences and workshops. In the long view so- ing the problems addressed by cicm is an important milestone in formulating the next generation of mathematical software.
Produktinformationen zuletzt aktualisiert am
13.08.2025 um 01:08 Uhr
13.08.2025 um 01:08 Uhr
Hersteller
-
EAN
9783642026133
MPN
-
ASIN
3642026133
Produktgruppe
-

Produktzustand:
Verfügbarkeit:
Versandkosten:
Sonderpreis:

Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
Letzte EAN Aktualisierungen:
4023125028229 - 20002822 FRITZ!DECT 301 Smart Home Heizkörperther...9783319665610 - Advances in Computing Kartoniert (TB)...
9783319157672 - SpringerBriefs in Electrical and Computer Engineer...
4712856275599 - CyberPower Professional Tower Series PR2200ELCDSXL...
5706991022544 - PanaCast MS 180° Panoramakamera für Videokonfere...
4712856277616 - PR1000ERTXL2U PR Professional V3 Rack Tower XL Ser...
4712364143601 - OL1500ERTXL2U Cyber Power Online Eco+ Tower 1500VA...
5099206086814 - MX Keys Plus Bluetooth® Tastatur Deutsch QWERTZ W...
7630027873986 - Scor 4060 Z ST SLX slategrey 2022 RH-XL...
9783319655505 - Creativity in Intelligent Technologies and Data Sc...
0093573981579 - Explore 4 Schneideplotter beige 0093573981579 cric...
8719747101032 - Monitorarm BakkerElkhuizen Filex Galaxy Modular Du...
kürzlich hinzugefügt:
8435350740221 - R4600 - Smarte Indoorkamera WLAN...9783319620749 - Intelligent Computer Mathematics Kartoniert (TB)...
0887993002507 - SHUTTLE XH410G - Barebone PC XPC slim XH410G...
6954836003695 - X4 - Überwachungskamera IP WLAN innen...
9783030161804 - New Knowledge in Information Systems and Technolog...
7630027873993 - Scor 4060 Z ST SLX slategrey 2022 RH-L...
4712856275599 - CyberPower Professional Tower Series PR2200ELCDSXL...
4711103082249 - TS-h1887XU-RP NAS Rack (2U) Intel Xeon E E-2334 16...
9783030161866 - New Knowledge in Information Systems and Technolog...
9780316349123 - Superminds - Thomas W Malone Kartoniert (TB)...
4007450607380 - DTC 395 Wildkamera 12 Megapixel Braun Camouflage...
9783319219950 - Intelligent Virtual Agents Kartoniert (TB)...