Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Intelligent Computer Mathematics

Intelligent Computer Mathematics

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319084336
Condition
New
Product Description

This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

I Survived: I Survived the Japanese Tsunami, 2011

$4.46

Automation Control Theory Perspectives in Intelligent Systems

$169.00

Radiocontrast Agents

$84.99

Resource Booms and Institutional Pathways

$109.99

Intelligent Resource Management in Vehicular Networks

$99.00

Qualitt im Cluster- und Netzwerkmanagement

$59.99

Relativistic and Non-Relativistic Quantum Mechanics

$89.99

The Delta Project

$39.99

Gemstones

$39.99

Orthogonale Polynome

$44.99

Transactions of the Tenth Prague Conference on Information Theory, Statistical Decision Functions, R

$84.99

Wi-Fi, Bluetooth, Zigbee and WiMax

$199.99

Hydrogeologie der nichtverkarstungsfhigen Festgesteine

$119.99

Zwischen Bewutsein und Sein

$69.99

Bund und Gemeinden / Federal and Local Government

$69.95

Practical Intellect and Substantial Deliberation

$54.99

Distributed Systems

$54.99

Faszination Mathematik

$59.99

Foucault in an Age of Terror

$54.99

Meta-analysis in Clinical Research: Principles and Procedures

$139.99

Performance Management im Hochschulbereich

$59.99

Creative Design of Mechanical Devices

$54.99

Blockchain-Based Internet of Things

$39.99

Long-Term Forensic Psychiatric Care

$69.99

Vermessungskunde

$84.99

Smooth Functions and Maps

$84.99

Map Construction Algorithms

$54.99

Foundations of Differential Geodesy

$109.99

Die Wechseljahre des Mannes

$59.99

Festigkeitsberechnung

$189.00

Krankenhausrecht Einschliesslich Arzt- und Heilmittelrecht

$44.99

Aufgaben und Lsungen der Frther Mathematik-Olympiade 20172022

$34.99

Chemistry of Natural Products

$49.99

Hochschul-Sponsoring

$69.99

Rechnerarchitektur

$49.99

The Complexity of Simple Computer Architectures

$39.99

Die Bderbehandlung bei Alterskrankheiten

$54.99

Costing

$54.99

Mitarbeiterfhrung in der ffentlichen Verwaltung

$49.99

Keine Panik vor Blackouts

$39.99