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
Logistiknetzwerke
$37.99
Resource Allocation and Economic Policy
$14.99
Analyse und Beurteilung von Lagesteuerungen fr numerisch gesteuerte Werkzeugmaschinen
$69.99
China and Africa
$179.99
Handbook of Life-Course Criminology
$169.99
Fussdeformitten
$59.99
Energiegewinnung aus Kernprozessen. Gegenwartsprobleme der energiewirtschaftlichen Forschung
$59.99
Magnesium Technology 2021
$219.99
Imaging and Correlative Physicochemical Techniques
$84.99
Identitten in der ffentlichen Kommunikation
$49.99
Transport Economics
$74.99
Tumor Dormancy, Quiescence, and Senescence, Vol. 3
$109.99
Modes and Mechanisms of Microbial Growth Inhibitors
$84.99
Elemente der Codierungstheorie
$37.99
NADPH Oxidases
$299.99
Food Dependency in the Middle East and North Africa Region
$109.99
Elektrische Kraftwerkstechnik
$69.99
Hybrid and Real-Time Systems
$39.99
Lichttherapie
$79.99
Theory and Simulation in Physics for Materials Applications
$169.99
An Introduction to Logic Circuit Testing
$19.99
IT-Einkauf kompakt
$29.99
Social Entrepreneurship, Social Business and the Multi-functionality of Urban Agriculture
$44.99
Topological and Bivariant K-Theory
$49.95
Systems with Persistent Memory
$139.99
Baltic States and the Euro-Atlantic Security Community
$109.00
Metastasis Research Protocols
$109.99
The Special Theory of Relativity
$54.99
Nano Metal Oxides
$139.99
Ausgewhlte Problemfelder der Marktorientierung
$39.99
Contentment in Contention
$54.99
Handbuch Informelles Lernen
$119.99![Von der Bestendigkeit [De Constantia]](https://covers.springernature.com/books/jpg_height_648_pixels/9783476991294.jpg)
Von der Bestendigkeit [De Constantia]
$69.99
Cadjan Kiduhu
$49.99
Deformation Microstructures in Rocks
$109.99
Propositional and Predicate Calculus: A Model of Argument
$69.99
Black Lagoon Adventures: The Field Day from the Black Lagoon
$3.74
Massenpsychologie und Brse
$64.99
Epidemiologic Research on Real-World Medical Data in Japan
$54.99
The UN Security Council and Human Rights
$59.99
