Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Intelligent Computer Mathematics
Best Price (Coupon Required):
Buy Intelligent Computer Mathematics for $67.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$74.99 | $74.99 |
|
10% OFF
This deals requires coupon
|
$67.50 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
A Real-Time In-Memory Discovery Service
$54.99
Laser Theory
$169.99
Orbit and Oculoplastics
$109.99
Arenaviruses I
$84.99
USA UdSSR
$69.99
Leistungsfhigkeit und Keimdrsenhormone
$59.99
The Navajo Sound System
$109.99
Die pathologisch-anatomischen Lungenvernderungen nach gewerblicher Einatmung reinen Aluminiumstaube
$54.99
Trigger Factors in Transfusion Medicine
$169.99
Berufseinstieg und Probezeit aktiv gestalten
$24.99
Compendium Utopiarum, Teilband 1
$49.99
Relational Economics
$54.99
Ambivalences of Inclusion in Society and Social Work
$54.99
Foundations of Blockchain
$69.99
Bewertung, Kauf und Optimierung von Unternehmen
$17.99
Demand Forecasting for Inventory Control
$169.99
Marx and the Meaning of Capitalism
$54.99
Happy Howlidays- A Middle School Story Dog Diaries Series 2 by James Patterson
$9.99
Coming of Age in Times of Crisis
$54.99
Multiscale Modelling and Simulation
$109.99
Airborne Wind Energy
$139.99
Lectures Notes on Advanced Structured Materials 2
$139.99
Introduction to Rare Event Simulation
$139.99
Barnes & Noble Kill the Beast by Serena Valentino
$18.99
Cerebral Visual Impairment in Children
$139.99
Religious Minorities in Non-Secular Middle Eastern and North African States
$99.99
Crowdfunding in China
$39.99
Emotions and the Dual Brain
$169.99
Gaussian Scale-Space Theory
$109.99
Algebraic Theory of Locally Nilpotent Derivations
$169.99
Waterways, Dikes, Polders, Hydraulic Engineering, Windmills Etc. in the Netherlands
$74.99
Methodologies for Developing and Managing Emerging Technology Based Information Systems
$54.99
Ostrowski Type Inequalities and Applications in Numerical Integration
$109.99
Prozesse sozialer Positionierungen
$39.99
Die Praxis des Eisenhttenchemikers
$59.99
Judicial Self-Governance in the New Millennium
$54.99
Koss's Cytology of the Urinary Tract with Histopathologic Correlations
$109.00
Das Sozialwirtschaftliche Sechseck
$79.99
Bullying and Violence in South Korea
$109.99
Smart Services Summit
$149.00
