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 |
|
$67.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Trust and Civil Society
$109.99
Metaphors of Globalization
$109.99
Kardiologie Hypertonie
$69.99
Quantitative Problem Solving Methods in the Airline Industry
$109.00
Pro Java EE 5 Performance Management and Optimization
$54.99
Betriebliches Umweltmanagement 1993
$69.99
Manual of Aesthetic Surgery 1
$74.99
Advanced Diagnostics in Combustion Science
$89.00
Hope for Each Day Deluxe- Words of Wisdom and Faith by Billy Graham
$26.99
Mathematisch fr fortgeschrittene Anfnger
$24.99
Structural Biology and Functional Genomics
$219.99
Financial and Insurance Formulas
$159.99
Reviews of Physiology, Biochemistry and Pharmacology
$84.99
The Poetics of the Obscene in Premodern Arabic Poetry
$54.99
Technology of Quantum Devices
$279.99
Clifford Algebras
$54.99
Identity of Capability
$89.99
Bioreactor Immobilized Enzymes and Cells
$54.99
Multiculturalism and Multilingualism at the Crossroads of School Leadership
$169.99
Handbook of Essential Fatty Acid Biology
$169.99
Neural Regulation in the Vertebrate Endocrine System
$84.99
A New Beginning or More of the Same?
$119.99
John Keats
$119.99
High-Ratio Voltage Conversion in CMOS for Efficient Mains-Connected Standby
$84.99
Betriebswirtschaftslehre des Handels
$59.99
On Artin's Conjecture for Odd 2-dimensional Representations
$39.99
A Grammar of Kam Revealed in Its Narrative Discourse
$39.99
Trigonometry
$29.99
Social Entrepreneurship Business Models
$39.99
Laienkompetenz im psychosozialen Bereich
$59.99
Human Rights Protection in Global Politics
$37.99
The Making of Modern Switzerland, 1848-1998
$109.99
Higher Education and Decolonization in Africa
$159.99
Developmental Psychobiology
$49.47
Onkologie Basiswissen
$74.99
Low Power Design Methodologies
$169.99
Wissenstransfer in Clustern
$59.99
The Scepter of Reason
$54.99
On Privacy-Preserving Protocols for Smart Metering Systems
$39.99
Die Kfer Mitteleuropas, Bd. L2: Myxophaga, Polyphaga 1
$179.99
