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
The Meaning of Marriage- Facing the Complexities of Commitment with the Wisdom of God by Timothy Keller
$19.00
Wandel im Schneckentempo
$59.99
Odin Teatret
$54.99
Flexible Arbeitssysteme im Maschinenbau
$54.99
Erlebnis Plattenbau
$64.99
Functional Imaging of the Chest
$39.99
Richtwerte fr das Auenrund-Lngs- und Einstechschleifen
$59.99
Microfinance
$84.99
How Referendums Challenge European Democracy
$79.99
Geschichte der Soziologie 1
$69.99
Presidents, Prime Ministers and Majorities in the French Fifth Republic
$129.99
Produktive Arbeitsorganisation
$69.95
Wege durch die Zeichen-Zone
$39.99
Beitrag zum Ultraschallpunktschweien von Metallen
$59.99
Rechtslehre des Versicherungswesens (RLV)
$44.99
Nanomaterials and Biomedicine
$109.99
Radiation in Enclosures
$54.99
Theory and Practice in Earthquake Engineering and Technology
$199.99
Mapping the Buddhist Path to Liberation
$99.00
Trapped Particles and Fundamental Physics
$219.99
Codification in East Asia
$84.99
Electromagnetic Radiation in Space
$169.99
Information Retrieval Technology
$54.99
Grundri der Astronomie
$49.99
Open Innovation Business Modeling
$119.99
Eigenschaften und Kompetenzen von Fhrungspersnlichkeiten
$69.99
Kinetische Theorie II
$54.99
Control of Ground and Aerial Robots
$139.99
The Small-Scale Fisheries Guidelines
$109.00
Applications of Soft Computing for the Web
$109.99
Beitrge zur biologischen Eiweisynthese von hheren und niederen Pilzen und zur alimentren Leberne
$59.99
Lineare Planungsrechnung und Netzplantechnik
$59.99
Molecular Networks
$329.99
Medizinische Psychologie
$69.99
Total Synthesis of ()-Maoecrystal V
$109.99
The Ethological Roots of Culture
$54.99
The Cranial Nerves in Neurology
$119.00
Metallurgische und technologische Untersuchungen an Weichloten
$59.99
Optimal Syntheses for Control Systems on 2-D Manifolds
$64.95
Controlling-Management
$69.99
