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
9783031669972
Condition
New
Product Description

This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montral, Qubec, Canada, during August 59, 2024. The 21 full papers presented were carefully reviewed and selected from 28 submissions. These papers have been categorized into the following sections: AI and LLM; Proof Assistants; Logical Frameworks and Transformations; Knowledge Representation and Certication; Proof Search and Formalization & System Descriptions.

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

Single Product Purchase

$74.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
$74.99 $74.99

$74.99
See Site In stock Visit Store

Similar Products

Perfectoid Spaces

$99.00

Vibration Problems ICOVP 2007

$169.99

Coring Operations

$39.99

Learn RPGs in GameMaker: Studio

$59.99

BOB Books: Stories: The New Puppy Level 1 Reader

$3.74

Belt Drying of Sludge

$109.99

Celtic Tiger in Collapse

$39.99

Regional Energy Demand and Energy Efficiency in Japan

$39.99

Intelligent Systems and Soft Computing

$54.99

Polyamine Protocols

$84.99

Apache Solr

$54.99

System Modeling and Optimization

$169.00

Selected References in Orthopaedic Trauma

$54.99

Einfhrung in die Stochastik

$49.95

Biology and Information

$54.99

Implanting Strategic Management

$49.99

Biofeedback and Behavior

$39.99

Fhrungswandel in Unternehmung und Verwaltung

$59.99

Frontiers in Algorithmics

$54.99

Coherent Raman Spectroscopy

$109.99

Pro Angular

$39.99

Test eines Faraday-Effekt-Stromsensors

$17.99

Constitutive Modelling of Granular Materials

$259.00

Applied Stochastic Control of Jump Diffusions

$44.99

International Perspectives on Self-Regulation and Health

$219.99

Forest Succession

$79.99

Cybercrime, Digital Forensic Readiness, and Financial Crime Investigation in Nigeria

$129.99

Recent Advances and Challenges in the Treatment of Major Depressive Disorder

$249.99

Proceedings of International Conference on Image, Vision and Intelligent Systems 2022 (ICIVIS 2022)

$449.99

Histophysiology of the Circulating Platelet

$109.99

Geodesy

$179.99

Making Buildings Safer for People During Hurricanes, Earthquakes and Fire

$169.99

Autrement qu'etre, ou, Au-dela de l'essence

$74.99

Elementary Lectures in Statistical Mechanics

$54.99

Der Diskurs um 218 StGB und Ursachen von Abtreibungen

$74.99

Untersuchungen ber das Alterungsverhalten, die Temperaturbestndigkeit und Zeitstandfestigkeit von

$59.99

Cooperative Buildings

$39.99

Antes de comer: De la granja a la mesa

$5.96

Kartellrecht im Rahmen von M&A-Transaktionen

$17.99

My Tree

$6.71