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
Democracy in Contemporary U.S. Womens Poetry
$54.99
Social, Material and Political Constructs of Arctic Childhoods
$129.99
Jahrbuch fr Handlungs- und Entscheidungstheorie
$69.99
The Chimpanzees I Love
$8.21
Grundlagen der Personalbestandsplanung
$59.99
Geschftsmodell-Design fr den internationalen Markterfolg
$29.99
Euro-Par '96 - Parallel Processing
$84.99
Nordirland
$59.99
Fieldwork for Healthcare
$44.99
M.G. Kreins Lectures on Entire Operators
$39.99
Lingua Universalis vs. Calculus Ratiocinator:
$219.99
Petri Nets
$39.99
Psychologie, Soziologie und Pdagogik fr die Pflegeberufe
$64.99
War and Peace in Africas Great Lakes Region
$59.99
Code Optimization Techniques for Embedded Processors
$109.99
Gelegenheit und Entscheidung
$44.99
Smart Contracts
$17.99
Markenbindung durch personalisierte Internetauftritte
$79.99
Literatur und Justiz in der Weimarer Republik
$29.99
Functional Foods
$109.99
Sound Branding
$69.99
Air Pollutants and the Leaf Cuticle
$129.00
Die Schnittstellen von UNIX-Programmen
$69.99
Hagenberg Business Process Modelling Method
$109.99
Is There a Court for Gaza?
$169.99
Controlling und begrenzte kognitive Fhigkeiten
$69.99
Computer and Computing Technologies in Agriculture, Volume I
$169.99
Marx's Russian Moment
$109.00
Maisy: Maisy Makes Gingerbread
$4.46
e-Science
$59.99
Die Beziehung zwischen Einkaufserlebnis und Preiszufriedenheit
$69.99
Laplace-Transformation
$34.99
Diabetes-Handbuch
$39.99
Oxygen Transport to Tissue XLV
$379.99
Nachhaltige Stadtentwicklung
$17.99
Bird & Squirrel All Or Nothing (Bird & Squirrel #6)
$8.24
Intelligent Interpretation for Geological Disasters
$169.99
Microbial Ecology of Lake Plusee
$84.99
Low-Temperature Physics
$79.99
Drogisten-Lexikon Ein Lehr- und Nachschlagebuch fr Drogisten und verwandte Berufe, Chemotechniker
$79.99
