Copied Intelligent Computer Mathematics
Intelligent Computer Mathematics
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.
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 |
|
$74.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
