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
Analyzing Compositional Data with R
$49.99
Advances in Molecular Genetics of Plant-Microbe Interactions, Vol. 2
$219.99
HCI International 2019 Late Breaking Posters
$54.99
Women in Renewable Energy
$139.99
Stressbewltigung fr Kinder und Jugendliche
$14.99
Embedded Systems and Artificial Intelligence
$219.99
Exscalate4CoV
$54.99
Customs Unions in the WTO
$169.99
Applied Simulation and Optimization
$54.99
Catalan's Conjecture
$64.99
Advances in Multicriteria Analysis
$109.99
Key Terms in Comics Studies
$32.99
25 Jahre Kaiser Wilhelm = Gesellschaft zur Frderung der Wissenschaften
$59.99
Phase Transitions in Surface Films
$39.99
Ergebnisse der Inneren Medizin und Kinderheilkunde
$59.99
Artificial Intelligence, Internet of Things, and Society 5.0
$169.00
Electronic Contracting im elektronischen Handel
$69.99
The Crusades and Nature
$149.99
Urban Ecology
$39.99
Drugs, Identity and Stigma
$139.99
Modeling and Stochastic Learning for Forecasting in High Dimensions
$169.99
Ride On
$11.24
The Ascent of Mary Somerville in 19th Century Society
$69.99
Basic Concepts in Computational Physics
$59.99
An Economic Perspective on the Southwest: Defining the Decade
$109.99
Green Crime in Mexico
$129.00
Werte und Metaphern in der Unternehmenskommunikation
$29.99
Fehler im Griff
$37.99
Conrad and Imperialism
$54.99
ffentliches Baurecht praxisnah
$34.99
Biophysical Applications of Satellite Remote Sensing
$109.99
Political Economy
$84.99
Exploring Religion and Diversity in Canada
$119.99
Innovations in Additive Manufacturing
$149.00
Stability of Time-Delay Systems
$89.00
Subspace Methods for Pattern Recognition in Intelligent Environment
$109.99
The Emergence of Whales
$279.99
Galaxy Formation
$109.99
Strmungs- und Kolbenmaschinen im Anlagenbau
$37.99
Graph Theory Applications to Deregulated Power Systems
$39.99
